]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-5.7' into stable-5.8 15/172915/1
authorMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Nov 2020 08:07:00 +0000 (09:07 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Fri, 27 Nov 2020 08:07:30 +0000 (09:07 +0100)
* stable-5.7:
  Remove unused imports
  Silence API warnings
  Remove erraneously merged source features
  Prepare 5.3.9-SNAPSHOT builds
  JGit v5.3.8.202011260953-r
  Prepare 5.1.15-SNAPSHOT builds
  JGit v5.1.14.202011251942-r
  GC#deleteOrphans: log warning for deleted orphaned files
  GC#deleteOrphans: handle failure to list files in pack directory
  Ensure that GC#deleteOrphans respects pack lock
  Update API warning filters
  Remove unused imports

Change-Id: I9b94938f5c09bd726e8e368c98c56da8280fd0b2
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
1  2 
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java