On 2013-07-28 04:20, Brian May wrote: > This was fixed in 0.13.0-3. For some reason the bug didn't get closed > automatically with my upload.
the magic would have been "Closes: #717999" Thanks for quick fixing! Andreas -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
