diff options
author | Eric Wong <e@80x24.org> | 2018-07-14 00:46:01 +0000 |
---|---|---|
committer | Eric Wong <e@80x24.org> | 2018-07-15 20:55:14 +0000 |
commit | 9ec600316145da85d1ae5644ffaa1acd72b6b177 (patch) | |
tree | e6cc24d7a9f3ff3f17b55b7f1c48b4076ee64fe8 /script/public-inbox-index | |
parent | aca47e05a6026c12c768753c87e6ff769ef6bee4 (diff) | |
download | public-inbox-9ec600316145da85d1ae5644ffaa1acd72b6b177.tar.gz |
The normal behavior is to prevent the deleted messages from being indexed in the first place. However, when fetching incrementally via git; public-inbox-index needs to account for deleted files which were created outside of the most recent fetch/reindexing window. Reported-by: Eric W. Biederman <ebiederm@xmission.com>
Diffstat (limited to 'script/public-inbox-index')
0 files changed, 0 insertions, 0 deletions