On Fri, May 20, 2022 at 12:34:32PM +0200, Alvaro Herrera wrote:> +1, like this then.
That seems fine, at quick glance. Thanks for the patch!--Michael