Markus Wanner writes: > On 10/24/2014 11:47 PM, Rebecca N. Palmer wrote: >> If it is that, the attached should fix it, but since I've never had this >> problem myself I can't test it. > > Could you please try this patch? I'd like to get some indication that > it actually fixes the issue, before asking for a freeze exception.
Not until next weekend unfortunately, and then again I might not be able to compile everything needed and do the testing, for lack of available time. If you provide precompiled .deb packages on some web site, that would expedite the testing; I could do some on evenings. As this bug has only happened occasionally to me and I don't know what the trigger is, I cannot prove its absence even if I did the testing. Rebecca, do you think there is a way to trigger this bug with certainty? Even if that means modifying the sources to create an artificial trigger for the bug? -- Ludovic Brenta. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org