On Mon, May 07, 2018 at 02:32:48PM -0400, Tom Lane wrote:> Pushed, thanks for doing the legwork.
Thanks.--Michael