diff options
Diffstat (limited to 'profiles')
| -rw-r--r-- | profiles/package.mask | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 628125141d62..4cc55b807c49 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -1,5 +1,5 @@ #################################################################### -# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8862 2008/08/05 04:46:10 darkside Exp $ +# $Header: /var/cvsroot/gentoo-x86/profiles/package.mask,v 1.8863 2008/08/05 13:06:13 george 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 @@ -29,6 +29,10 @@ #--- END OF EXAMPLES --- +# George Shapovalov <george@gentoo.org> (5 Aug 2008) +# problems with shared libs (#231534) +=dev-lang/gnat-gpl-4.1.3.2008 + # Michael Sterrett <mr_bones_@gentoo.org> (04 Aug 2008) # Security masked: bug #233929 games-simulation/openttd |