On Fri, Jan 21, 2022 at 1:31 PM Tomas Vondra <tomas.von...@enterprisedb.com> wrote: > [ new patch ]
This patch is originally by Justin. The latest version is by Tomas. I think the next step is for Justin to say whether he's OK with the latest version that Tomas posted. If he is, then I suggest that he also mark it Ready for Committer, and that Tomas commit it. If he's not, he should say what he wants changed and either post a new version himself or wait for Tomas to do that. I think the fact that is classified as a "Bug Fix" in the CommitFest application is not particularly good. I would prefer to see it classified under "Documentation". I'm prepared to concede that documentation can have bugs as a general matter, but nobody's data is getting eaten because the documentation wasn't updated. In fact, this is the fourth patch from the "bug fix" section I've studied this afternoon, and, well, none of them have been back-patchable code defects. -- Robert Haas EDB: http://www.enterprisedb.com
