On Thu, 22 Feb 2018, Rod Widdowson wrote:

> I am not so "up" on your process (I lurk mostly), but is there any value in
> putting these into github? Then they'll not get lost in a mailbox.
> They'll just get lost at github...

Yes, there's a lot of value in that! Issues don't get lost as easily on github
as in our well trafficed mail boxes. Ideally they can even be submitted as
proper pull-requests as then we can merge them once we agree they're fine.

-- 
  / daniel.haxx.se
-------------------------------------------------------------------
Unsubscribe: https://cool.haxx.se/list/listinfo/curl-library
Etiquette:   https://curl.haxx.se/mail/etiquette.html