]> source.dussan.org Git - jgit.git/commitdiff
Merge "Update to Jetty 9.2.10"
authorMatthias Sohn <matthias.sohn@sap.com>
Tue, 12 May 2015 13:00:01 +0000 (09:00 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Tue, 12 May 2015 13:00:03 +0000 (09:00 -0400)

Trivial merge