On Tue, Jun 5, 2018 at 6:35 PM, Elazar Leibovich <elazarl at gmail.com> wrote: > I sent a patch to the mailing list like in the good old days. Thanks! > Do you prefer github PR? The preferred method of patch submission is via the mailing list, thank you. -- Eugene Syromyatnikov mailto:evgsyr at gmail.com xmpp:esyr at jabber.{ru|org}