gerrit/lib/jetty
David Pursehouse 911a92cfa4 Update Jetty to 9.2.12.v20150709
This is a maintenance release including some minor bug fixes [1].

It is not the latest version, but is the latest one that still
works with Java 7.  Later versions (9.3.x) require Java 8.

[1] http://permalink.gmane.org/gmane.comp.ide.eclipse.jetty.devel/2016

Change-Id: I73d6d5528249c6656f05a78007b0b72f0c0efdf7
2015-07-29 11:07:47 +09:00
..
BUCK Update Jetty to 9.2.12.v20150709 2015-07-29 11:07:47 +09:00