On Fri, Apr 15, 2022 at 9:40 AM Tom Lane <tgl@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