Bug 404605

Summary:	Please stabilize =app-emacs/proofgeneral-4.1
Product:	Gentoo Linux	Reporter:	Paweł Hajdan, Jr. (RETIRED) <phajdan.jr>
Component:	[OLD] Keywording and Stabilization	Assignee:	Emacs project <emacs>
Status:	RESOLVED FIXED
Severity:	enhancement	Keywords:	STABLEREQ
Priority:	Normal
Version:	unspecified
Hardware:	All
OS:	Linux
URL:	http://packages.gentoo.org/package/app-emacs/proofgeneral?arches=linux
Whiteboard:
Package list:		Runtime testing required:	---

Description Paweł Hajdan, Jr. (RETIRED) gentoo-dev

2012-02-20 00:26:38 UTC

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

Comment 1 Ulrich Müller gentoo-dev

2012-02-24 22:45:16 UTC

Test plan: <http://overlays.gentoo.org/proj/emacs/wiki/test%20plans>

Thanks in advance.

Comment 2 Agostino Sarubbo gentoo-dev

2012-02-26 15:48:41 UTC

amd64 stable

Comment 3 Brent Baude (RETIRED) gentoo-dev

2012-03-01 23:54:02 UTC

ppc done

Comment 4 Paweł Hajdan, Jr. (RETIRED) gentoo-dev

2012-03-08 11:32:35 UTC

x86 stable, closing