[PHP-DEV] PHP 7.1.0 GA

[Joe Watkins]

Evening internals,

I'm excited to announce that PHP 7.1.0 will be GA on December 1st.

It has taken a lot of hard work from a lot of people, so stop whatever you
are doing and give those people a round of applause.

Cheers
Joe