Nathan Bossart <nathandbossart@gmail.com> writes:
> With Melanie's note, there are at least 4 votes in favor of this patch
> (Andres, me, Peter, and Melanie). AFAICT Michael is +/-0, Álvaro and Tom
> are -1 (or somewhere in the vicinity), and Robert seems ambivalent. Hm...
To clarify, what I said was we should either remove them or use them
more consistently. I don't think 1bd6f22f4 moved the needle very
far towards option 2, so I'm totally fine with option 1. Put me
down as +0.5.
regards, tom lane
