]> source.dussan.org Git - jgit.git/commitdiff
projects / jgit.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 1ccdf83 3d15679)
Merge branch 'stable-5.10' into stable-5.11 12/180512/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 12 May 2021 06:56:27 +0000 (08:56 +0200)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 12 May 2021 06:56:27 +0000 (08:56 +0200)
* stable-5.10:
  Remove texts which were added by mistake in 00386272
  Fix formatting which was broken in 00386272

Change-Id: I0f1511be5375716d41565e72b271cb956c3e847b


Trivial merge
JGit, the Java implementation of git: https://github.com/eclipse-jgit/jgit