On Fri, Aug 2, 2019 at 1:28 PM Julien Rouhaud <rjuju123(at)gmail(dot)com> wrote:> I'm fine with it!
Pushed a version with similar wording just now.
Thanks!-- Peter Geoghegan