[jgit-dev] [Announce] JGit release 5.1.13 and 5.3.7

[Matthias Sohn <matthias.sohn@xxxxxxxxx>]

The following JGit Releases are now available:
5.1.13.202002110435-r release notes
5.3.7.202002110540-r  release notes

Find the new releases here
http://eclipse.org/jgit/download/

JGit Maven artefacts are available
in the Eclipse Maven repository https://repo.eclipse.org/content/groups/releases/org/eclipse/jgit/
in Maven central https://repo1.maven.org/maven2/org/eclipse/jgit/

We plan to release the next version 5.7 with the Eclipse simultaneous release 2020-03 on 2020-03-18.

-Matthias