On Wed, May 30, 2018 at 01:30:08PM -0400, Alvaro Herrera wrote:> I do not think that patch does what you think it does.
Oops. Sorry another patch got on the way. Here you go.--Michael