Is Andreas busy or -1 was just a "one time upload"? Please add a note in RFS mails to -mentors that your previous sponsor is not able to upload it (hint: `who-uploads eprover`) -- http://people.debian.org/~piotr/sponsor
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
