Luca Milanesio bd57365950 Merge "Merge branch 'stable-2.15' into stable-2.16" into stable-2.16

2018-11-14 21:29:33 +00:00

..

com/google

Merge "Merge branch 'stable-2.15' into stable-2.16" into stable-2.16

2018-11-14 21:29:33 +00:00

org/eclipse/jgit

Dissolve gerrit-patch-jgit top-level directory

2017-10-31 11:02:36 -04:00