On Mon, Oct 19, 2020 at 03:31:50PM -0400, Robert Haas wrote:> +1. Sorry for not seeing this thread sooner.
Please note that this has been applied as of 26ec6b5.--Michael