| commit | 437cb410e945204de70e39e4bf5afd0aa750ea5f | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Thu Jan 26 21:25:15 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Thu Jan 26 21:25:15 2017 +0100 |
| tree | 1e1d4833e482f9ad63b1065a7d6b8f369249f063 | |
| parent | 94e563232eec0d4f096fcbc2c00529eeccad1a51 [diff] |
replacing: detect when the whole region has already been covered Even when a match falls within the marked region, this does not mean that it is a true match when already the whole file has been searched, because then this is the second time we find this match. This fixes https://savannah.gnu.org/bugs/?50158.