On Tue, Jun 23, 2015 at 9:12 AM, Remi Bergsma <rberg...@schubergphilis.com> wrote: > I can prepare a PR for the release notes and document the new setting. You > can then merge it when the release passes. Or should we do this in another > way?
This is fine but it is in the release even if it doesn't pass so no sense waiting. I'll pull it -- Daan
