diff options
author | Luca Milanesio <luca.milanesio@gmail.com> | 2023-05-08 10:41:43 +0000 |
---|---|---|
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | 2023-05-08 10:41:43 +0000 |
commit | 8a2871e29d92d7fef838755acdf245fe1a7cac7f (patch) | |
tree | f3a328eb660f652292bbb65617190c72d0fa6df6 | |
parent | e0be35f503268bd3877d9ceb385fb2cfdbefdd3e (diff) | |
parent | fed074e014b3f2cc59a7e8fae4567fcfc1fba55c (diff) |
Merge changes I4cf9ed9f,Ifd09164a into stable-3.5
* changes:
Bump JGit to 74fa245b3
Bump JGit to 45de4fa
m--------- | modules/jgit | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/modules/jgit b/modules/jgit -Subproject 5ae8d28faaf6168921f673c89a4e6d601ffad78 +Subproject 74fa245b3c3ccf13afcbec7911c7c8459e48527 |