diff options
author | Michał Górny <mgorny@gentoo.org> | 2019-03-18 20:15:16 +0100 |
---|---|---|
committer | Michał Górny <mgorny@gentoo.org> | 2019-03-18 20:19:16 +0100 |
commit | a5efe1fc30d2c83dcdbe1b90c1be7c8da3d67133 (patch) | |
tree | bb85b9ba2fe0a780d2eafa2cf69591bf00088714 /media-libs/libgig | |
parent | app-portage/pram: Initial version of PR merging tool (diff) | |
download | gentoo-a5efe1fc30d2c83dcdbe1b90c1be7c8da3d67133.tar.gz gentoo-a5efe1fc30d2c83dcdbe1b90c1be7c8da3d67133.tar.bz2 gentoo-a5efe1fc30d2c83dcdbe1b90c1be7c8da3d67133.zip |
package.mask: Make dev-python/traits mask more specific
Mask specific versions of dev-python/traits not to affect overlays
with the same package. Requested by Horea Christian.
Bug: https://bugs.gentoo.org/672412
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'media-libs/libgig')
0 files changed, 0 insertions, 0 deletions