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. -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/
