* 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