On Thu, May 09, 2019 at 02:08:39PM -0400, Tom Lane wrote:> LGTM, thanks.
Thanks for double-checking, committed. I am closing the open item.--Michael