Update wrong PR number in CHANGES.txt

This commit is contained in:
Patrick Zhai 2023-09-19 23:24:17 -07:00
parent 94b879a593
commit f5d5dc289e
1 changed files with 1 additions and 1 deletions

View File

@ -168,7 +168,7 @@ API Changes
New Features
---------------------
* GITHUB#12383: Introduced LeafCollector#finish, a hook that runs after
* GITHUB#12380: Introduced LeafCollector#finish, a hook that runs after
collection has finished running on a leaf. (Adrien Grand)
* LUCENE-8183, GITHUB#9231: Added the abbility to get noSubMatches and noOverlappingMatches in