On 2/10/18 1:49 PM, Daniel Stenberg wrote:
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.

Ok, I've updated RELEASE-NOTES if someone wants to look it over to make sure I 
complied with the current format.

That said, I'd still like to get PR#168 done for the release, I think I 
provided Gregor the necessary info.


Reply via email to