On Tue, Feb 11, 2020 at 10:05:25AM -0500, Robert Haas wrote:
> No objections here. I'm glad that we put in the effort to get more
> opinions, but I agree that an overall vote of ~58 to ~8 is a pretty
> strong consensus.
Clearly, so done as dcdbb5a.
--
Michael