Hello
On 2022-Aug-10, Andres Freund wrote:
> +1 I've fought with this one when fixing a conflict when rebasing a patch...
Right -- pushed, thanks.
-- Álvaro Herrera 48°01'N 7°57'E — https://www.EnterpriseDB.com/