Is it OK to stabilize =app-emacs/proofgeneral-4.1 ? If so, please CC arches and add STABLEREQ keyword. Stabilization of this package has been repoman-checked on the following arches: x86, amd64
Test plan: <http://overlays.gentoo.org/proj/emacs/wiki/test%20plans> Thanks in advance.
amd64 stable
ppc done
x86 stable, closing