Merge branch 'stable-2.12' into stable-2.13

Authored by Luca Milanesio <luca.milanesio@gmail.com> on Jan 10 2019, 10:48 PM.


Merge branch 'stable-2.12' into stable-2.13

  • stable-2.12: Upgrade JGit to

Change-Id: Ie163ef97fa2c3b12eef720774e7cf333e02e3a49

Event Timeline

Luca Milanesio <luca.milanesio@gmail.com> committed rGERRITDEPLOYf8c86b63e967: Merge branch 'stable-2.12' into stable-2.13 (authored by Luca Milanesio <luca.milanesio@gmail.com>).Jan 10 2019, 10:54 PM

Merged Changes

08dd052d7516Luca Milanesio
Merge branch 'stable-2.11' into stable-2.12 
Jan 10
043b1019ce50Luca Milanesio
Merge branch 'stable-2.10' into stable-2.11 
Jan 10
d400d56a1375David Pursehouse/Luca Milanesio
Merge branch 'stable-2.9' into stable-2.10 
Jan 10
bb3011f0b03cDavid Ostrovsky/David Pursehouse
Upgrade JGit to 
Jan 6