On 05/18/2013 04:31 AM, Holger Levsen wrote: > Hi Thomas, > > On Freitag, 17. Mai 2013, Thomas Goirand wrote: >> As much as I can tell, this has been fixed in current Wheezy. > > are you sure? Because wheezy today has the same version (2.12.7) as it had > when you filed 704442 :-) > > > cheers, > Holger My bad. It was fixed in Sid, not in Wheezy. Thomas