On Fri, Jun 14, 2013 at 10:33 AM, Dieter Adriaenssens
<dieter.adriaenssens(a)gmail.com> wrote:
Yes, that's correct.
The new setting should also be documented in the docfile
doc/config.rst and be added to the setup script (as Rouslan
mentioned).
I will put it in the features/other core options in the setup script
unless you have a better place