Alvaro Herrera <[email protected]> writes: > On 2018-Jul-04, Amit Langote wrote: >> I think we may have simply forgotten to do $subject in the following commit.
> We did. Pushed now, thanks.
Erm, shouldn't that have been done in HEAD as well as v11?
regards, tom lane
