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.