[pkgdb] emacs-common-proofgeneral (Fedora, 11) updated by tibbs

[Fedora PackageDB]

tibbs added a Fedora 11 branch for emacs-common-proofgeneral
tibbs has set commit to Approved for 107427 on emacs-common-proofgeneral (Fedora 11)
tibbs has set checkout to Approved for 107427 on emacs-common-proofgeneral (Fedora 11)
tibbs has set build to Approved for 107427 on emacs-common-proofgeneral (Fedora 11)

To make changes to this package see:
   https://admin.fedoraproject.org/pkgdb/packages/name/emacs-common-proofgeneral