Files
gerrit/lib/jgit
David Pursehouse 3d9574e6c3 Upgrade JGit to 5.0.2.201807311906-r
This release contains the following fixes since 5.0.1.201806211838-r:

A fix for issue 9153:

  - ResolveMerger: Fix encoding with string; use bytes

And several fixes related to cleanup of ref directories after running
GC:

  - Delete all loose refs empty directories
  - Use java.nio to delete path to get detailed errors
  - GC: Remove empty references folders
  - Do not ignore path deletion errors

Bug: Issue 9153
Change-Id: I38d57c20475345626e277c7734fd0e109070d69e
2018-08-02 21:07:22 +02:00
..
2017-03-24 08:36:18 +09:00
2018-08-02 21:07:22 +02:00