On Sat, Jun 08, 2019 at 04:23:55PM +0200, Guillaume Lelarge wrote:
> We might find more typos, but it will take time. Applying this patch now
> (if it fits you) is probably better.
I can imagine that it is a daunting task... Ok, for now I have
applied what you sent. Thanks!
--
Michael