]> source.dussan.org Git - jgit.git/commitdiff
Merge "Documentation/technical/reftable: document rename in reflog."
authorJonathan Tan <jonathantanmy@google.com>
Wed, 25 Sep 2019 17:20:01 +0000 (13:20 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Wed, 25 Sep 2019 17:20:01 +0000 (13:20 -0400)

Trivial merge