On Thu, May 16, 2024 at 5:58 AM Richard Guo <guofenglinux@gmail.com> wrote:
> Thank you for the suggestion. Yeah, this is a good candidate for my
> first commit. :-) I will aim to do it during the next commitfest.
You don't need to wait for the next CommitFest to fix a comment (or a
bug). And, indeed, it's better if you do this before we branch.
--
Robert Haas
EDB: http://www.enterprisedb.com