]> source.dussan.org Git - jgit.git/commitdiff
Merge branch 'stable-6.3' into stable-6.4 67/200067/1
authorMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:28:27 +0000 (01:28 +0100)
committerMatthias Sohn <matthias.sohn@sap.com>
Wed, 22 Feb 2023 00:28:27 +0000 (01:28 +0100)
* stable-6.3:
  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: Ic40dbab18616d8d9fe3820b9890c86652b80eb47

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