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


Reply via email to