]> source.dussan.org Git - jgit.git/commitdiff
Merge "TreeRevFilter: correct changedPathFilter usage for multi-paths inclusion"
authorjonathantanmy <jonathantanmy@google.com>
Tue, 19 Mar 2024 22:13:36 +0000 (22:13 +0000)
committerGerrit Code Review <support@gerrithub.io>
Tue, 19 Mar 2024 22:13:36 +0000 (22:13 +0000)

Trivial merge