On 2018-Sep-14, Tom Lane wrote:
> 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?
Hmm, the commit was there, but it was not pushed. Workflow mistake.
Pushed now.
--
Álvaro Herrera https://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Remote DBA, Training & Services