Hi,
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.
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.