>>>>> Alan Mackenzie <acm@muc.de> writes:

> I think I'd be happy enough about it being fixed in master, if the fix
> happens before the release. :-). The trouble is, if there's no deadline,
> it'll never get fixed.

Hi Alan,

I agree that this is a wart that needs fixing, but there is no reason to
assign a particular timeline to it above our other issues. Since it's not tied
to a specific release, it will be fixed whenever people get around to fixing
it, as with any open issue.

-- 
John Wiegley                  GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com                          60E1 46C4 BD1A 7AC1 4BA2