On Thursday, November 12, 2020, Bruce Momjian <br...@momjian.us> wrote:
> On Thu, Nov 12, 2020 at 01:52:11PM -0500, Tom Lane wrote: > > On the whole, I'm on the side of the people who don't want to change > this. > > The implementation cost seems likely to greatly outweigh the value, plus > > it feels more like a wart than a feature. > > I think we can mark this as, "We thought about it, and we decided it is > probably not a good idea." > > +1 David J.
