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)