mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-24 00:17:18 +00:00
This commit is instrumentation to be executed in the CI system to debug #624 This commit should be reverted once the test has failed again!