On Fri, Sep 21, 2018 at 09:09:36AM +0200, Adrien NAYRAT wrote: > Thanks! As it could happen even on previous version, should we > backpatch for the documentation?
I have patched HEAD, and then down until conflicts happened, which is v10, thinking about it as a documentation improvement. The behavior exists for ages, so I have not bothered much... -- Michael
signature.asc
Description: PGP signature
