Re: [jgit-dev] [Announce] JGit release 4.7.2.201807261330-r

[Matthias Sohn <matthias.sohn@xxxxxxxxx>]

On Tue, Jul 31, 2018 at 8:46 AM David Pursehouse <david.pursehouse@xxxxxxxxx> wrote:

On Fri, Jul 27, 2018 at 2:49 AM Matthias Sohn <matthias.sohn@xxxxxxxxx> wrote:

Release 4.7.2 is now available:

Release Notes

https://projects.eclipse.org/projects/technology.jgit/releases/4.7.1

https://projects.eclipse.org/projects/technology.jgit/releases/4.7.2

of course, thanks for the correction

 

 

Find the new release here

https://repo.eclipse.org/content/groups/releases/org/eclipse/jgit/

the p2 repository is here

https://repo.eclipse.org/content/unzip/releases.unzip/org/eclipse/jgit/org.eclipse.jgit.repository/4.7.2.201807261330-r/org.eclipse.jgit.repository-4.7.2.201807261330-r.zip-unzip/

JGit 4.7.2 is also available on Maven central under

https://repo1.maven.org/maven2/org/eclipse/jgit/

-Matthias

_______________________________________________
jgit-dev mailing list
jgit-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://dev.eclipse.org/mailman/listinfo/jgit-dev