On Mon, Mar 13, 2023 at 02:45:29PM -0700, Andres Freund wrote: > Pushed the patch.
Thanks for the prompt fix. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com
On Mon, Mar 13, 2023 at 02:45:29PM -0700, Andres Freund wrote: > Pushed the patch.
Thanks for the prompt fix. -- Nathan Bossart Amazon Web Services: https://aws.amazon.com