On Fri, Dec 30, 2016 at 2:46 PM, Henrik B A <[email protected]> wrote:
> On Thu, Dec 29, 2016 at 9:29 PM, Dirk Hohndel <[email protected]> wrote:
>>
>> Pull requests with updates welcome
>
> https://github.com/Subsurface-divelog/subsurface doesn't seem to get
> updated, but https://github.com/torvalds/subsurface already has
> several PRs.  Which should we use?

Oops, those PRs were ancient.  Should maybe be closed & removed?

Henrik
_______________________________________________
subsurface mailing list
[email protected]
http://lists.subsurface-divelog.org/cgi-bin/mailman/listinfo/subsurface

Reply via email to