On Thu, Apr 28, 2022 at 12:15 PM Dirk Hohndel <[email protected]> wrote: > > Are you going to send a PR, or do you want me to just make something up > for you?
You might as well just apply that patch directly.
Linus
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface
