On Wed, Nov 27, 2019 at 10:35:27PM +0100, Tim Duesterhus wrote: > Find attached a patch that (hopefully) clarifies the behavior in the > documentation. Feel free to rephrase the new paragraph in case I said > something > incorrect.
It's correct, now applied. Thank you! Willy
