2006/3/29, Peter Van Eynde <pvaneynd at debian.org>: > Hello, > > I closed the bugs because they are duplicates of 359761 which I fixed in > 5.12. Well, you probably mean 5.13, because the problem I had is with 5.12 (and not 5.11 as stated in my bug report), and 359761 is fixed in 5.13