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
