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

Reply via email to