On Mon, 8 Jan 2018, Zoltan Somogyi wrote: > > > On Sun, 7 Jan 2018 19:38:57 -0500 (EST), Julien Fischer <jfischer at opturion.com> wrote: >> The second option is fine by me. > > Would you please review the attached diff, which implements > the second option? It looks fine. Julien.