diff options
author | Michał Górny <mgorny@gentoo.org> | 2013-01-15 21:31:52 +0000 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2013-01-15 21:31:52 +0000 |
commit | bae3e0c418a863781c2d34fa6e25862d3f69a9f6 (patch) | |
tree | 6bbad338ccec2d50d4960ad36e193fc328eab076 /profiles/ChangeLog | |
parent | Make sure to always generate and install Grammar pickles. Work-around the old... (diff) | |
download | gentoo-2-bae3e0c418a863781c2d34fa6e25862d3f69a9f6.tar.gz gentoo-2-bae3e0c418a863781c2d34fa6e25862d3f69a9f6.tar.bz2 gentoo-2-bae3e0c418a863781c2d34fa6e25862d3f69a9f6.zip |
Remove dev-python/sphinx mask after replacing the broken rev with a new one.
Diffstat (limited to 'profiles/ChangeLog')
-rw-r--r-- | profiles/ChangeLog | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/profiles/ChangeLog b/profiles/ChangeLog index 79ef5f4a07bf..fd8722645a68 100644 --- a/profiles/ChangeLog +++ b/profiles/ChangeLog @@ -1,12 +1,15 @@ # ChangeLog for profile directory # Copyright 1999-2013 Gentoo Foundation; Distributed under the GPL v2 -# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.7363 2013/01/15 19:03:42 mgorny Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/ChangeLog,v 1.7364 2013/01/15 21:31:52 mgorny 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! 15 Jan 2013; Michał Górny <mgorny@gentoo.org> package.mask: + Remove dev-python/sphinx mask after replacing the broken rev with a new one. + + 15 Jan 2013; Michał Górny <mgorny@gentoo.org> package.mask: Mask migrated dev-python/sphinx due to grammar generation issues. 15 Jan 2013; Samuli Suominen <ssuominen@gentoo.org> package.mask: |