> Alvaro Herrera <alvherre(at)2ndquadrant(dot)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?
Hmm, the commit was there, but it was not pushed. Workflow mistake. Pushed now.