Processing commands for [email protected]: > reopen 585628 Bug #585628 {Done: Camm Maguire <[email protected]>} [acl2] acl2: Broken maintainer address > thanks Stopping processing here.
Please contact me if you need assistance. -- 585628: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=585628 Debian Bug Tracking System Contact [email protected] with problems -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
