]> source.dussan.org Git - jgit.git/commitdiff
Merge "CommitGraphWriter: Remove unnecesary progress update call"
authorIvan Frade <ifrade@google.com>
Thu, 16 Nov 2023 19:53:13 +0000 (14:53 -0500)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Thu, 16 Nov 2023 19:53:13 +0000 (14:53 -0500)

Trivial merge