diff options
author | David Ostrovsky <david@ostrovsky.org> | 2021-12-30 23:06:56 +0100 |
---|---|---|
committer | Matthias Sohn <matthias.sohn@sap.com> | 2024-05-02 20:21:30 +0200 |
commit | a31580f459b0ae24b51c519ce71ad728ff156c8f (patch) | |
tree | 4ba6ddadba8be6ef99cde3f7ce4cd23558c30153 /org.eclipse.jgit.pgm/src/org | |
parent | 7fd8a7a667acb7744f08f89eb5faf69f72d7ec25 (diff) | |
download | jgit-a31580f459b0ae24b51c519ce71ad728ff156c8f.tar.gz jgit-a31580f459b0ae24b51c519ce71ad728ff156c8f.zip |
Bump jetty version to 11.0.20
and switch servlet-api to use jakarta.servlet 5.0.
Change-Id: Ia0ae6efc11806389b7303bc985a08f7822c366f6
Diffstat (limited to 'org.eclipse.jgit.pgm/src/org')
0 files changed, 0 insertions, 0 deletions