mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-22 06:55:53 +00:00
This reverts commit 3d35484dc7622180907035e579ed5523f4afa3fe and provides different solution.
This reverts commit 3d35484dc7622180907035e579ed5523f4afa3fe and provides different solution.