On 2022-Aug-05, Alvaro Herrera wrote: > On 2022-Aug-05, Andrew Dunstan wrote: > > > let's just backpatch the file and be done with it. > > I can do that in a couple of hours.
Done. Thanks! -- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/ "La rebeldía es la virtud original del hombre" (Arthur Schopenhauer)
