tree ceb5676b853509dc6da84a05050ebf5281e26768
parent d5616be5f2063df599faf6bbe9a68a63a40d1438
author Andreas Veithen <andreas.veithen@gmail.com> 1656020038 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1656020038 +0000

Upgrade to Jetty 10

It's only used in tests, so there are no compatibility concerns here.