On Fri, Apr 15, 2022 at 9:40 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > > Do you think that this juxtaposition works well? > > Seems all right to me; do you have a better suggestion?
No. At first I thought that mixing "which is" and "which was" wasn't quite right. I changed my mind, though. Your new wording is fine. I'll update the log output some time today. -- Peter Geoghegan