diff options
author | Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2023-03-28 17:45:51 +0200 |
---|---|---|
committer | Miroslav Šulc <fordfrog@gentoo.org> | 2023-03-29 07:28:58 +0200 |
commit | d47870374f32f9cd4ad674895bd1470c2602ac3a (patch) | |
tree | 36f49d1cb5af89bd07e319173be2e5bc488616d5 /gnome-extra | |
parent | dev-java/osgi-enterprise-api: drop 5.0.0-r2 (diff) | |
download | gentoo-d47870374f32f9cd4ad674895bd1470c2602ac3a.tar.gz gentoo-d47870374f32f9cd4ad674895bd1470c2602ac3a.tar.bz2 gentoo-d47870374f32f9cd4ad674895bd1470c2602ac3a.zip |
dev-java/tomcat-servlet-api: drop 6.0.53-r1
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/30379
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'gnome-extra')
0 files changed, 0 insertions, 0 deletions