On Sat, Feb 1, 2020 at 7:37 AM Robert Haas <[email protected]> wrote:
> Whoops. The patch looks OK to me.

Pushed.


Reply via email to