]> source.dussan.org Git - jgit.git/commit
Merge changes Ibf6ee80d,I721db0f4,I7d014890
authorDavid Pursehouse <david.pursehouse@gmail.com>
Mon, 21 May 2018 23:15:22 +0000 (19:15 -0400)
committerGerrit Code Review @ Eclipse.org <gerrit@eclipse.org>
Mon, 21 May 2018 23:15:22 +0000 (19:15 -0400)
commit4132dc5858f2326d25d6b5c740f62855d3f39554
treedb2abc26eebec51c904959da0587088316e80154
parenta2b10e56bd0bb56bb45c9d000167258036b6d3b2
parente9d2a8bd85d700bb6f380530c53ab8f7a0415c4d
Merge changes Ibf6ee80d,I721db0f4,I7d014890

* changes:
  Remove deprecated Repository#notifyIndexChanged
  Implementors should override Repository#notifyIndexChanged(boolean)
  Revive Repository#notifyIndexChanged()