Merge branch 'bp/fsmonitor-prime-index'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (13:29 +0900)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Apr 2018 04:29:04 +0000 (13:29 +0900)
The index file is updated to record the fsmonitor section after a
full scan was made, to avoid wasting the effort that has already
spent.

* bp/fsmonitor-prime-index:
  fsmonitor: force index write after full scan

1  2 
fsmonitor.c

diff --cc fsmonitor.c
Simple merge