"mancha" <[email protected]> writes: > The patch applies cleanly to 1.13.4.
the patch seems ok, would you mind to send it using "git format-patch" so to preserve the commit author? (I could do that myself but it is not clear from the name you used in the e-mail). Extra bonus if you also include the ChangeLog entry. I am considering to make a release in the weekend, this change seems quite trivial to introduce problems (and also not blocking). Thanks! Giuseppe
