Thank you! На 14.09.2018 г. в 16:23, Arthur Reutenauer написа: > 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