diff options
| author |   William Hubbs <williamh@gentoo.org> | 2020-09-04 15:51:27 -0500 |
|---|---|---|
| committer | William Hubbs <williamh@gentoo.org> | 2020-09-04 15:51:27 -0500 |
| commit | 63253c0145695ddbb889d953578b9c5ec6d6cfeb (patch) | |
| tree | 1ae0302dd3cf6b23c73f7238e9b49a35010137e7 /dev-lang | |
| parent | profiles/package.mask: drop media-sound/jack mask (diff) | |
| download | gentoo-63253c0145695ddbb889d953578b9c5ec6d6cfeb.tar.gz gentoo-63253c0145695ddbb889d953578b9c5ec6d6cfeb.tar.bz2 gentoo-63253c0145695ddbb889d953578b9c5ec6d6cfeb.zip | |
www-apps/gitea: remove 1.11.8
Closes: https://bugs.gentoo.org/739518
Signed-off-by: William Hubbs <williamh@gentoo.org>
Diffstat (limited to 'dev-lang')
0 files changed, 0 insertions, 0 deletions