On Wed, Feb 15, 2017 at 05:10:48PM -0800, Linus Torvalds wrote: > On Wed, Feb 15, 2017 at 5:04 PM, Linus Torvalds > <[email protected]> wrote: > > > > Trivial patch attached > > .. and pull request on github sent to Dirk.
Thank you, this has been pushed to master New daily builds will be triggered shortly. /D _______________________________________________ subsurface mailing list [email protected] http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
