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 | 4d889c4a121396481abaec27ec140f53224ec993 (patch) | |
| tree | a73f6f371f30c2aec530d58a6ea9bea402500d8f /profiles/ChangeLog | |
| parent | Properly install Javadoc for USE=doc. Fixes bug #440670. (diff) | |
| download | gentoo-2-4d889c4a121396481abaec27ec140f53224ec993.tar.gz gentoo-2-4d889c4a121396481abaec27ec140f53224ec993.tar.bz2 gentoo-2-4d889c4a121396481abaec27ec140f53224ec993.zip | |
Remove mask on dev-java/pat, USE=doc works after a trivial fix.
Diffstat (limited to 'profiles/ChangeLog')
| -rw-r--r-- | profiles/ChangeLog | 9 |
1 files changed, 8 insertions, 1 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 |