Hi Alvaro, On Thu, May 4, 2023 at 19:44 Alvaro Herrera <alvhe...@alvh.no-ip.org> wrote:
> On 2023-May-02, Alvaro Herrera wrote: > > > We have an open item about this, and I see no reason not to do it. I > > checked, and putting things back is just a matter of reverting > > 589bb816499e and ec386948948, cleaning up some trivial pgindent-induced > > conflicts, and bumping catversion once more. Would you like to do that > > yourself, or do you prefer that I do it? Ideally, we'd do it before > > beta1. > > I have pushed the revert now. Thanks for taking care of it. (Wouldn’t have been able to get to it till Monday myself.) > -- Thanks, Amit Langote EDB: http://www.enterprisedb.com