<div dir="ltr"><div><div>Hi,<br><br></div>Now that the main dive season is well over and I'm only getting out every couple of weeks I felt the urge to get back on this. It's been a year since my last exchange.<br><br></div>Jeff, do you still have a branch for my code? Do you need a full patch or just a merge patch? I'm quite new at git so it's best if you're explicit when explaining.<br><br><br clear="all"><div><div><div><div><br>-- <br><div class="gmail_signature"><div dir="ltr"><div>John Van Ostrand<br></div><div>At large on sabbatical<br></div><br></div></div>
</div></div></div></div></div>