On Wed, Apr 25, 2018 at 12:06 PM, Teodor Sigaev <teodor(at)sigaev(dot)ru> wrote:> Oops, I missed, I don't know how... Thank you very much for your quick eye!
Thanks Teodor.
-- Peter Geoghegan