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