tree 551ae7fec16ba3e294a38ade026dc053fb02e1d2
parent 48bd70dea1b940c3c51786a2118c8fca744e360f
author David Pursehouse <david.pursehouse@sonymobile.com> 1443597618 +0900
committer David Pursehouse <david.pursehouse@sonymobile.com> 1447351780 +0000

Upgrade Jetty to 9.2.13.v20150730

This is a maintenance release [1] and is the same version as used
in the latest version of JGit.

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

Change-Id: Ied4c7c1b36aa449a6801fc3ada1193f4b28d90cc