]> source.dussan.org Git - jgit.git/commitdiff
Merge "WorkTreeUpdater: re-format and clean-up"
authorHan-Wen NIenhuys <hanwen@google.com>
Thu, 18 Aug 2022 15:22:46 +0000 (11:22 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Thu, 18 Aug 2022 15:22:46 +0000 (11:22 -0400)

Trivial merge