On Mon, Jun 03, 2019 at 09:16:56PM -0400, Tom Lane wrote:> Yeah, I see we already did that in later branches. I'll go fix it,> thanks for the heads-up!
Thanks.--Michael