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
Received on 2018-02-14