mirror of
https://github.com/jetty/jetty.project.git
synced 2025-03-01 11:29:29 +00:00
applied from https://github.com/eclipse/jetty.project/pull/50 Also-by: David Seebacher <dseebacher@gmail.com>
applied from https://github.com/eclipse/jetty.project/pull/50 Also-by: David Seebacher <dseebacher@gmail.com>