mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-22 15:15:48 +00:00
13b63c194b
While this feature is not strictly needed, the patch contains some good code cleanups. So it will be applied and then the default feature removed in a subsequent commit.