Robert Haas <robertmh...@gmail.com> writes: > On Fri, Apr 17, 2020 at 3:58 PM Tom Lane <t...@sss.pgh.pa.us> wrote: >> On the other point of dispute about the operator tables: for the >> moment I'm leaning towards keeping the text descriptions.
> I mostly suggested nuking them just to try to make the table more > readable. But since you've found another (and better) solution to that > problem, I withdraw that suggestion. Cool, then we're all on the same page. I shall press forward. regards, tom lane