mirror of
https://github.com/jetty/jetty.project.git
synced 2025-02-22 15:15:48 +00:00
Signed-off-by: dreis2211 <christoph.dreis@freenet.de> (cherry picked from commit 16334c1893cc45a6a811cc7c6f2552a861643dac)
Signed-off-by: dreis2211 <christoph.dreis@freenet.de> (cherry picked from commit 16334c1893cc45a6a811cc7c6f2552a861643dac)