On 11/24/17, Nicolas George <george at nsup.org> wrote: > Paul B Mahol (2017-11-24): >> What you want to change? > > The name of the option and its documentation. The documentation was > unclear, and if there was a consensus about the name of the option, it > was not for "queue". But for what option instead was consensus?