mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-01 19:39:21 +00:00
This reverts commit 3d35484dc7622180907035e579ed5523f4afa3fe and provides different solution.
This reverts commit 3d35484dc7622180907035e579ed5523f4afa3fe and provides different solution.