tree 8e3715c42f2bde9596453aa658a8b159298398b1
parent 290f499daf0af8b20661764e07950373eb0a43dc
parent 621f602ec4d11c1770aadc4f82ccdbe1b15ce2f8
author Edwin Kempin <ekempin@google.com> 1544623718 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1544623718 +0000

Merge "Update JGit to 5.2.0.201812061821-r"