On Wed, May 29, 2019 at 05:30:33PM +0200, Guillaume Lelarge wrote:
> And here is another one. See patch attached.
Are you still going through some parts of the documentation? Perhaps
you may notice something else? I am wondering if it would be better
to wait a bit more so as we can group all issues you are finding at
once.
--
Michael
