Gentoo Archives: gentoo-commits

From: Michael Orlitzky <mjo@g.o>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] repo/gentoo:master commit in: profiles/
Date: Tue, 03 Jan 2017 00:01:31
Message-Id: 1483401264.604cdc02fd7350a46626f36fdfc8a6e1745e98b5.mjo@gentoo
1 commit: 604cdc02fd7350a46626f36fdfc8a6e1745e98b5
2 Author: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
3 AuthorDate: Mon Jan 2 23:54:24 2017 +0000
4 Commit: Michael Orlitzky <mjo <AT> gentoo <DOT> org>
5 CommitDate: Mon Jan 2 23:54:24 2017 +0000
6 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=604cdc02
7
8 profiles: mask dev-php/propel{,-runtime,-generator} for removal.
9
10 Gentoo-Bug: 604462
11
12 profiles/package.mask | 8 ++++++++
13 1 file changed, 8 insertions(+)
14
15 diff --git a/profiles/package.mask b/profiles/package.mask
16 index a664f02..62fa33d 100644
17 --- a/profiles/package.mask
18 +++ b/profiles/package.mask
19 @@ -30,6 +30,14 @@
20
21 #--- END OF EXAMPLES ---
22
23 +# Michael Orlitzky <mjo@g.o> (02 Jan 2017)
24 +# Ancient versions long forgotten by upstream, and
25 +# now experiencing build problems. Masked for removal
26 +# in 30 days. Bug 604462.
27 +dev-php/propel
28 +dev-php/propel-generator
29 +dev-php/propel-runtime
30 +
31 # Daniel Campbell <zlg@g.o> (02 Jan 2016)
32 # Google Code shutdown and change of versioning scheme
33 # needs 'old' versions masked (v94 -> v1.0.0)