tree e66bc81d22372dc6ea28d5b4bdea74ea10ada3ea
parent ad6b3ccba54edd78cf393a41927ceefc6fc6fb38
parent fe494ed59ea1fb6258a13daf5c2bc250e56afde4
author David Pursehouse <dpursehouse@collab.net> 1496924334 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1496924334 +0000

Merge "Update JGit to 4.7.1.201706071930-r" into stable-2.14