diff options
author | Aaron Bauman <bman@gentoo.org> | 2019-12-12 16:30:17 -0500 |
---|---|---|
committer | Aaron Bauman <bman@gentoo.org> | 2019-12-12 16:32:14 -0500 |
commit | f1a0831532bcade670a4c3f6fa35691648fa66a0 (patch) | |
tree | 2a4a5088160990966e1e9f673f7a96b4657dc4da /profiles/package.mask | |
parent | dev-embedded/platformio: version bump (diff) | |
download | gentoo-f1a0831532bcade670a4c3f6fa35691648fa66a0.tar.gz gentoo-f1a0831532bcade670a4c3f6fa35691648fa66a0.tar.bz2 gentoo-f1a0831532bcade670a4c3f6fa35691648fa66a0.zip |
profiles/package.mask: mask dev-util/cmt
Signed-off-by: Aaron Bauman <bman@gentoo.org>
Diffstat (limited to 'profiles/package.mask')
-rw-r--r-- | profiles/package.mask | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/profiles/package.mask b/profiles/package.mask index daf27c0b9687..a1c9c1fadfde 100644 --- a/profiles/package.mask +++ b/profiles/package.mask @@ -32,6 +32,11 @@ #--- END OF EXAMPLES --- +# Aaron Bauman <bman@gentoo.org> (2019-12-12) +# Multiple QA issues and docs no longer build +# Removal in 30 days +dev-util/cmt + # Ulrich Müller <ulm@gentoo.org> (2019-12-11) # No license. HOMEPAGE and SRC_URI are dead. # Last visible upstream activity in 2000. |