On Tue, Jul 17, 2018 at 08:02:43PM -0400, Tom Lane wrote:> Sounds right to me.
Thanks for double-checking, pushed.--Michael