]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-6.2' into stable-6.3 66/200066/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:27:50 +0000 (01:27 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:27:50 +0000 (01:27 +0100)
* stable-6.2:
  Use Java 11 ProcessHandle to get pid of the current process
  Acquire file lock "gc.pid" before running gc
  Silence API errors introduced by 9424052f

Change-Id: I53cf9675deac0b588048d8224216d2a7e8bd16ec

1  2 
org.eclipse.jgit/resources/org/eclipse/jgit/internal/JGitText.properties
org.eclipse.jgit/src/org/eclipse/jgit/internal/JGitText.java