On Mon, Dec 4, 2023 at 3:42 AM Richard Guo <guofengli...@gmail.com> wrote: > Then here is a trivial patch to adjust the comment, which should get > reverted along with 867be9c07.
Richard, since you're a committer now, maybe you'd like to commit this. I don't really understand the portion of your commit message inside the parentheses and would suggest that you just delete that, but the rest seems fine. If you do commit it, also update the status at https://commitfest.postgresql.org/48/4683/ -- Robert Haas EDB: http://www.enterprisedb.com
