On Thu, May 1, 2025 at 12:49 AM Japin Li <japi...@hotmail.com> wrote: > While working on [1], I found outdated comments in IndexInfo. > The attached patch corrects them.
Nice catch. LGTM. Thanks Richard
On Thu, May 1, 2025 at 12:49 AM Japin Li <japi...@hotmail.com> wrote: > While working on [1], I found outdated comments in IndexInfo. > The attached patch corrects them.
Nice catch. LGTM. Thanks Richard