diff options
| author | Junio C Hamano <gitster@pobox.com> | 2019-05-19 10:45:33 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-05-19 10:45:33 +0300 |
| commit | cfd635c7428dfca5b45d8d45fdc1311e751d4fe2 (patch) | |
| tree | 3bd1754e72887659e52ee03342a4a9098fe9c247 /entry.c | |
| parent | 521d3ef38a17917ad10e71a398e82a13fa1178b5 (diff) | |
| parent | 398a3b0899dd8a440d4adbcbda38362e3f8359b1 (diff) | |
Merge branch 'js/fsmonitor-refresh-after-discarding-index'
The fsmonitor interface got out of sync after the in-core index
file gets discarded, which has been corrected.
* js/fsmonitor-refresh-after-discarding-index:
fsmonitor: force a refresh after the index was discarded
fsmonitor: demonstrate that it is not refreshed after discard_index()
Diffstat (limited to 'entry.c')
0 files changed, 0 insertions, 0 deletions