On Wed, Feb 9, 2022 at 3:05 PM Magnus Hagander <magnus@hagander.net> wrote:
> Late to the game, but here's another +1.
Not that late, thanks for chiming in.
Looks pretty unanimous, so I have committed the patches.
--
Robert Haas
EDB: http://www.enterprisedb.com