diff options
| author |   Volkmar W. Pogatzki <gentoo@pogatzki.net> | 2022-11-23 09:03:21 +0100 |
|---|---|---|
| committer |   Miroslav Šulc <fordfrog@gentoo.org> | 2022-11-23 09:53:51 +0100 |
| commit | 399c10fc346de8e94646580b298878891ee21d08 (patch) | |
| tree | 24e9a58852ef876facdaba0c60ef15f669c0c489 /dev-java/janino | |
| parent | dev-java/tomcat-servlet-api: add 8.5.84 (diff) | |
| download | gentoo-399c10fc346de8e94646580b298878891ee21d08.tar.gz gentoo-399c10fc346de8e94646580b298878891ee21d08.tar.bz2 gentoo-399c10fc346de8e94646580b298878891ee21d08.zip | |
dev-java/tomcat-jsp-api: add 8.5.84
Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/28395
Signed-off-by: Miroslav Šulc <fordfrog@gentoo.org>
Diffstat (limited to 'dev-java/janino')
0 files changed, 0 insertions, 0 deletions