On 2018-Sep-14, Tom Lane wrote: > Alvaro Herrera <alvhe...@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
