On Wed, Aug 09, 2017 at 04:49:57PM -0400, Scott Kostyshak wrote: > On Wed, Aug 09, 2017 at 08:13:01PM +0200, Enrico Forestieri wrote: > > On Wed, Aug 09, 2017 at 05:35:35PM +0200, Jürgen Spitzmüller wrote: > > > Am Mittwoch, den 09.08.2017, 17:11 +0200 schrieb Enrico Forestieri: > > > > Please, can you check if the attached patch addresses your concern? > > > > > > Yes, it does. Thanks. > > > > I don't know whether this counts as an explicit consent to apply. Scott? > > Please commit. I did a quick test and it worked well.
I committed a sligthly refined version at 40e9dea5. -- Enrico
