Alvaro Herrera <alvherre@2ndquadrant.com> 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