On Wed, Sep 28, 2016 at 03:31:12PM -0400, Scott Kostyshak wrote:
> On Wed, Sep 28, 2016 at 08:08:34PM +0200, Enrico Forestieri wrote:
> 
> > The attached patch should fix the issue.
> 
> Tested and works well.

Committed.

-- 
Enrico

Reply via email to