On Wed, Jan 06, 2016 at 02:25:30AM +0100, Christian Seiler wrote: > I took a look at it and found that this was already fixed upstream in > 0.113. The commits that fixed this were: > > dbbb7dc60abdd970af0a8fae404484181fa909c9 > 145d43b9c891f248ad68ebe597cb151a865bdb3a
Note that the sum of these commits is identical to the patch I proposed, thus confirming the fix. -- A tit a day keeps the vet away.
