]> source.dussan.org Git - jgit.git/commitdiff
Merge "Ensure index change event is fired when index snapshot changed" into stable-5.0
authorJonathan Nieder <jrn@google.com>
Fri, 8 Jun 2018 05:34:12 +0000 (01:34 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Fri, 8 Jun 2018 05:34:12 +0000 (01:34 -0400)

Trivial merge