* Charles Plessy [Wed, 03 Dec 2008 22:57:54 +0900]: > Dear release team, > I would like to suggest to remove RC-bugged acl2 package from testing. Hello, Charles, a removal hint was added by Luk yesterday. Cheers, -- Adeodato Simó dato at net.com.org.es Debian Developer adeodato at debian.org Listening to: Marina Rossell - Rumba dels 60