mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-13 18:14:49 +00:00
This reverts commit 9e72457941e98eb2ee1adf64f2bc53160b01e34d, reversing changes made to df12605f0e3e549c07c96968eedfd382fd6f274e.
This reverts commit 9e72457941e98eb2ee1adf64f2bc53160b01e34d, reversing changes made to df12605f0e3e549c07c96968eedfd382fd6f274e.