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.se
