gitblit/gitblit — pull request #202 by davido (2014-06-17 12:44:10+00:00)
Title: Update Jetty version to 9.2.1.v20140609

The Jetty 9.2 quick start mechanism provides almost an order of
magnitude improvement in start time [1].

[1] https://webtide.com/jetty-9-quick-start/