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}