Gentoo Archives: gentoo-commits

From: "Ulrich Mueller (ulm)" <ulm@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] gentoo-x86 commit in profiles: package.mask ChangeLog
Date: Tue, 07 Dec 2010 01:54:56
Message-Id: 20101207015439.65E1620054@flycatcher.gentoo.org
1 ulm 10/12/07 01:54:39
2
3 Modified: package.mask ChangeLog
4 Log:
5 Remove mask for app-emacs/proofgeneral-4.0.
6
7 Revision Changes Path
8 1.12256 profiles/package.mask
9
10 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/package.mask?rev=1.12256&view=markup
11 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/package.mask?rev=1.12256&content-type=text/plain
12 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/package.mask?r1=1.12255&r2=1.12256
13
14 Index: package.mask
15 ===================================================================
16 RCS file: /var/cvsroot/gentoo-x86/profiles/package.mask,v
17 retrieving revision 1.12255
18 retrieving revision 1.12256
19 diff -u -r1.12255 -r1.12256
20 --- package.mask 7 Dec 2010 01:17:54 -0000 1.12255
21 +++ package.mask 7 Dec 2010 01:54:38 -0000 1.12256
22 @@ -1,5 +1,5 @@
23 ####################################################################
24 -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.12255 2010/12/07 01:17:54 hd_brummy Exp $
25 +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.12256 2010/12/07 01:54:38 ulm Exp $
26 #
27 # When you add an entry to the top of this file, add your name, the date, and
28 # an explanation of why something is getting masked. Please be extremely
29 @@ -37,10 +37,6 @@
30 # Masked for removal on 2011-02-06
31 dev-lang/wml
32
33 -# Christian Faulhammer <fauli@g.o> (6 Dec 2010)
34 -# Has failures
35 -=app-emacs/proofgeneral-4.0
36 -
37 # Joerg Bornkessel <hd_brummy@g.o> (6 Dec 2010)
38 # masked for testing #300078 #263956
39 =media-tv/gentoo-vdr-scripts-0.4.8_rc1
40
41
42
43 1.4841 profiles/ChangeLog
44
45 file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/ChangeLog?rev=1.4841&view=markup
46 plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/ChangeLog?rev=1.4841&content-type=text/plain
47 diff : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/profiles/ChangeLog?r1=1.4840&r2=1.4841
48
49 Index: ChangeLog
50 ===================================================================
51 RCS file: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v
52 retrieving revision 1.4840
53 retrieving revision 1.4841
54 diff -u -r1.4840 -r1.4841
55 --- ChangeLog 7 Dec 2010 01:17:54 -0000 1.4840
56 +++ ChangeLog 7 Dec 2010 01:54:38 -0000 1.4841
57 @@ -1,11 +1,14 @@
58 # ChangeLog for profile directory
59 # Copyright 1999-2010 Gentoo Foundation; Distributed under the GPL v2
60 -# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4840 2010/12/07 01:17:54 hd_brummy Exp $
61 +# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.4841 2010/12/07 01:54:38 ulm Exp $
62 #
63 # This ChangeLog should include records for all changes in profiles directory.
64 # Only typo fixes which don't affect portage/repoman behaviour could be avoided
65 # here. If in doubt put a record here!
66
67 + 07 Dec 2010; Ulrich Mueller <ulm@g.o> package.mask:
68 + Remove mask for app-emacs/proofgeneral-4.0.
69 +
70 07 Dec 2010; Joerg Bornkessel <hd_brummy@g.o> package.mask:
71 masked media-tv/gentoo-vdr-scripts-0.4.8_rc2, #263956