On Tue, Jun 04, 2019 at 04:18:30PM -0400, Alvaro Herrera wrote:
> Yeah, I was not quite understanding why it was being blamed on a commit
> that actually *removed* one other callsite that did the same thing. (I
> didn't actually realize at the time that this bug was there, mind.)
I completely forgot about this thread as an effect of last week's
activity. Committed now. Thanks for the input, Alvaro.
--
Michael