diff options
| author |   Tom Wijsman <tomwij@gentoo.org> | 2013-07-08 12:25:01 +0000 |
|---|---|---|
| committer | Tom Wijsman <tomwij@gentoo.org> | 2013-07-08 12:25:01 +0000 |
| commit | e848e625937c95547abaf8a76d52656341cc472a (patch) | |
| tree | 77264245cafdaabe5eb6643f69f06f9d4fba65e4 /profiles | |
| parent | Properly install Javadoc for USE=doc. Fixes bug #440670. (diff) | |
| download | historical-e848e625937c95547abaf8a76d52656341cc472a.tar.gz historical-e848e625937c95547abaf8a76d52656341cc472a.tar.bz2 historical-e848e625937c95547abaf8a76d52656341cc472a.zip | |
Remove mask on dev-java/pat, USE=doc works after a trivial fix.
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/ChangeLog | 9 | ||||
| -rw-r--r-- | profiles/package.mask | 7 |
2 files changed, 9 insertions, 7 deletions
diff --git a/profiles/ChangeLog b/profiles/ChangeLog index 58b1e1691c71..a81cdca84591 100644 --- a/profiles/ChangeLog +++ b/profiles/ChangeLog @@ -1,11 +1,18 @@ # ChangeLog for profile directory # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.8010 2013/07/07 21:58:58 zerochaos Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.8011 2013/07/08 12:25:01 tomwij Exp $ # # This ChangeLog should include records for all changes in profiles directory. # Only typo fixes which don't affect portage/repoman behaviour could be avoided # here. If in doubt put a record here! + 08 Jun 2013; Tom Wijsman <TomWij@gentoo.org> package.mask: + Remove mask on dev-java/pat, USE=doc works after a trivial fix. + + 08 Jun 2013: Vicente Olivert Riera <vincent@gentoo.org> + package.mask: Fails to install. Maintainer suggested treeclean. + Masked for removal in 30 days, bug #440670. + 07 Jun 2013; Rick Farina <zerochaos@gentoo.org> package.mask: removing gnuradio-3.7 and gr-osmosdr-0.1.0/gr-iqbal masks now that upstream has a working release diff --git a/profiles/package.mask b/profiles/package.mask index ba24cdd09ab3..2dc4bbf598e8 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,6 +1,6 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14899 2013/07/08 11:29:02 vincent Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.14900 2013/07/08 12:25:01 tomwij Exp $ # # When you add an entry to the top of this file, add your name, the date, and # an explanation of why something is getting masked. Please be extremely @@ -32,11 +32,6 @@ #--- END OF EXAMPLES --- -# Vicente Olivert Riera <vincent@gentoo.org> (08 Jul 2013) -# Fails to install. Maintainer suggested treeclean. -# Masked for removal in 30 days, bug #440670 -dev-java/pat - # Chí-Thanh Christopher Nguyễn <chithanh@gentoo.org> (25 Jun 2013) # Prerelease ebuild, mostly untested and held together by duct tape. =sys-boot/syslinux-6.01_pre* |