On Wed, Jun 28, 2017 at 1:08 PM, Benjamin <[email protected]> wrote: > > Thank you. It seems to work now. :)
Thanks for reporting and testing.
I committed and pushed out the fix to the git trees too, so that
nobody else unnecessarily get bitten by this.
Linus
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
