Hi, > there will be soon a fixed package on mentors.debian.net - a sponsoring of > this package would be kind.
I can sponsor your upload (tonight, currently I am at work). BTW: The "fixed" tag should, at least in my understanding, be used only when the bug is fixed by an upload to the debian archives (and mentors.d.n does not count). "Pending" would have been sufficient. More tonight -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
