On Fri, 9 Feb 2018, Brad House wrote:
> Any thoughts on actually pushing out a new release?
I'm up for it. I can do the necessary tricks to push it out the door and
upload it to the site etc.
How about we do it on February 15 to give everyone a few extra days to check
and polish things up?
We should also make sure the RELEASE-NOTES reflects what's happened since
1.13.0 until then.
-- / daniel.haxx.seReceived on 2018-02-10