On Tue, Jan 01, 2019 at 04:55:14PM -0500, Scott Kostyshak wrote: > On Tue, Jan 01, 2019 at 07:59:39PM +0100, Enrico Forestieri wrote: > > > What about the attached patch? > > Thanks for taking a look. That fixes the issue for me.
Committed. -- Enrico