On 29/04/20 19:22, Dirk Hohndel wrote:
Thanks Pedro, I really appreciate you trying this.
I commented on your pull request - let me know how that workflow is
working for you :-)
(you should have received a notification email from GitHub with my
comments)
I did receive the notification from GitHub and proceeded with the changes...
Cheers:
Pedro
_______________________________________________
subsurface mailing list
subsurface@subsurface-divelog.org
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface