tree d7e5a1bd95a027b6c4803b6766576cfdf2831505
parent ac34bb051c9b777f7f30f091180a0583a19700f8
parent d798193755bab100ef0e3b6293cc4d1eeeaba079
author David Pursehouse <dpursehouse@collab.net> 1531468023 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1531468023 +0000

Merge "JGit: Use Javadoc from 5.0.1.201806211838-r"