Tags

Tags give the ability to mark specific points in history as being important

previous/3529462-remove-duplicate-terms/2025-06-11

8264ec5b · Issue #3529462 : Avoid overlapping matchPositions as we collect them, preferring longer matches · Jun 11, 2025
```
Branch force pushed by m4olivei at 2025-06-11T18:08:11+00:00, 3529462-remove-duplicate-terms moved from this tag to 09dcf2a2a6d841d435f21d7bdd0174f10dfc4e7b
```