commit: 82ed56794401f621a279954b57b4a013eb9c9989 Author: Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net> AuthorDate: Tue Nov 12 23:24:39 2024 +0000 Commit: Miroslav Šulc <fordfrog <AT> gentoo <DOT> org> CommitDate: Wed Nov 13 09:41:45 2024 +0000 URL: https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=82ed5679
dev-java/jakarta-servlet-api: update upstream metadata Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net> Closes: https://github.com/gentoo/gentoo/pull/39285/commits/8b7d27c5cb65a2fc340fcac3071dd5403ce62ebe Signed-off-by: Miroslav Šulc <fordfrog <AT> gentoo.org> dev-java/jakarta-servlet-api/metadata.xml | 1 + 1 file changed, 1 insertion(+) diff --git a/dev-java/jakarta-servlet-api/metadata.xml b/dev-java/jakarta-servlet-api/metadata.xml index ded6fe6b7534..0d5ea12ad2ad 100644 --- a/dev-java/jakarta-servlet-api/metadata.xml +++ b/dev-java/jakarta-servlet-api/metadata.xml @@ -5,6 +5,7 @@ <email>[email protected]</email> </maintainer> <upstream> + <doc>https://jakarta.ee/specifications/servlet/</doc> <remote-id type="github">jakartaee/servlet</remote-id> </upstream> <slots>
