Re: remove bits* types

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