diff options
author | Fabian Groffen <grobian@gentoo.org> | 2022-02-27 13:14:03 +0100 |
---|---|---|
committer | Fabian Groffen <grobian@gentoo.org> | 2022-02-27 13:14:03 +0100 |
commit | 16364a5fd295d29c33c43a41b0dc845562cbca70 (patch) | |
tree | b7cfe5054f1bb786404a1130c5eead24fa5103f3 /profiles | |
parent | dev-python/deepmerge: Remove old (diff) | |
download | gentoo-16364a5fd295d29c33c43a41b0dc845562cbca70.tar.gz gentoo-16364a5fd295d29c33c43a41b0dc845562cbca70.tar.bz2 gentoo-16364a5fd295d29c33c43a41b0dc845562cbca70.zip |
package.mask: mask gnulib-2022.02.12.16.27.05 for weirdness
Signed-off-by: Fabian Groffen <grobian@gentoo.org>
Diffstat (limited to 'profiles')
-rw-r--r-- | profiles/package.mask | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index 572e829b6996..612ff94e87e5 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -33,6 +33,10 @@ #--- END OF EXAMPLES --- +# Fabian Groffen <grobian@gentoo.org> (2022-02-27) +# Appears broken, e.g. bug #834136 +=dev-libs/gnulib-2022.02.12.16.27.05 + # Michał Górny <mgorny@gentoo.org> (2022-02-26) # The original Midori browser has been discontinued, and the new # Electron-based "Midori" (sic!) does not seem worth the effort |