On Fri, Sep 14, 2018 at 03:15:33PM +0200, Arthur Reutenauer wrote: > I sent you an email > about that.
I stand corrected, I did *not* send you an email, which I suppose is
the reason for your question right now. Sorry about that :-)
Best,
Arthur
