amdunn has set the approveacls acl on emacs-common-proofgeneral (Fedora 15) to Approved for dwheeler To make changes to this package see: https://admin.fedoraproject.org/pkgdb/acls/name/emacs-common-proofgeneral