On Mon, Mar 19, 2018, at 10:03 PM, Stefan Monnier wrote:
>> In case there's no objections and we decide to go through with this,>> I've change the default and run "make check".
>> It seems no tests are impacted, and the patch is therefore
>> pretty small.>> Is there anything more we'll need to do?
> 
> Mention the change in etc/NEWS ?
> 
> 
>         Stefan

Sounds reasonable. Fixed.

--
Regards
Jostein Kjønigsen

jostein@kjonigsen.net 🍵 jostein@gmail.com
https://jostein.kjonigsen.net