]> source.dussan.org Git - jgit.git/commitdiff
Merge "Update Jetty to 12.0.15"
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 19 Nov 2024 09:28:20 +0000 (09:28 +0000)
committerGerrit Code Review <support@gerrithub.io>
Tue, 19 Nov 2024 09:28:20 +0000 (09:28 +0000)

Trivial merge