On Thu, May 16, 2024 at 5:58 AM Richard Guo <guofengli...@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