On 5/27/18, Francesco Porro via arch-general <arch-general@xxxxxxxxxxxxx> wrote: > You mailed me privately. Better replying to mailing list since this could be > > useful to others && please do not top quote. Agreed, but I only replied to your direct mail to me. Apologies if I missed the CC somehow.
