On Fri, May 8, 2020 at 2:27 PM Étienne Mollier <[email protected]> wrote:
> Good day, > > > I have not forwarded the patch for the moment, since reporting > bugs requires posting in a Google Group that forbids contact > through email, and I have no Google account for the moment, at > least none usable to my knowledge. :( > Feel free to use me as a mail forwarder :-) -- Michael R. Crusoe

