]> source.dussan.org Git - jgit.git/commit
Merge branch 'stable-5.7' 23/160423/1
authorThomas Wolf <thomas.wolf@paranor.ch>
Fri, 3 Apr 2020 08:39:37 +0000 (10:39 +0200)
committerThomas Wolf <thomas.wolf@paranor.ch>
Fri, 3 Apr 2020 08:40:30 +0000 (10:40 +0200)
commit9aaa58052b4f810da7a1b3cd67dadbd50e956934
tree5dd23b6ae3200ab396e83b6c51777738a89faae4
parent567bf85479effbfba9adbfb004e65d8c28b6871e
parent3ae0b5cfeb4ffedb4078d2feb472bb18d589d86e
Merge branch 'stable-5.7'

* stable-5.7:
  FS.runInShell(): handle quoted filters and hooksPath containing blanks
  Handle non-normalized index also for executable files
  Prepare 5.7.1-SNAPSHOT builds
  JGit v5.7.0.202003110725-r

Change-Id: I8a8580e44bfa05989d476cf22a029abd4fd407c6
Signed-off-by: Thomas Wolf <thomas.wolf@paranor.ch>