David Steele <[email protected]> writes: > This thread has been very quiet for a month. I agree with Andres [1] > that we should push this to PG13.
I think the main thing it's blocked on is disagreement on what the
type name should be, which is kind of a silly thing to get blocked on,
but nonetheless it's important ...
regards, tom lane
