On Fri, 23 Oct 2015 11:31:49 +0100, Paul wrote: > > The patch is from the unnamed "Deweloper" in that ticket, comment 6. > > No, it's not. His patch was wrong. Check the changes against the > patch attached to the bug. Ah, I see. The ticket doesn't comment on any of that. Hence the confusion.