On Tue, Aug 20, 2019 at 04:47:41PM -0400, Alvaro Herrera wrote:> Yeah, Alexander proposed change is correct. I just pushed it.
Thanks, Alvaro.--Michael