On 07/31/2017 02:27 PM, Heikki Linnakangas wrote:
> Rebased patch attached, with proposed release notes included. Barring
> new objections or arguments, I'll commit this (only) to v10 later today.
Ok, committed for v10. Thanks Nicolas and Damien, and everyone else
involved!
- Heikki