On Thu, Jul 12, 2018 at 9:59 PM Dirk Hohndel <[email protected]> wrote: > > Can I get a commit for this, Linus? :-)
Pull request done.
Linus
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
