Re: Fix outdated comments for IndexInfo

[Richard Guo]

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