tree b9b2b3ae26a6f64bc92d30ca810662197ed1a550
parent 938726f8be162c7fb9d7a97dd76cc8a4ea8f95d5
author Andreas Veithen <andreas.veithen@gmail.com> 1656027915 +0000
committer Andreas Veithen <andreas.veithen@gmail.com> 1656027915 +0000

Upgrade to Jetty 10

Jetty is only used in tests, so there are no compatibility concerns
here.