2013/3/21 Mike Gabriel <[email protected]>: > Hi Miry, hi Andreas, > > shouldn't the severity of bug #682933 [1] be raised to ,,serious''?
Yup, you're right. As far as I know, that bug has also been corrected with the last upload (-4), in which I removed those obsolete scripts from earlier versions of the package. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
