On Tue, Apr 14, 2020 at 03:13:39PM -0400, Robert Haas wrote:> Feel free to go ahead.
Thanks, let's do it then. If you have any objections about any partsof the patch, of course please feel free.--Michael