On Thu, Mar 17, 2022 at 6:15 AM Peter Eisentraut<peter(dot)eisentraut(at)enterprisedb(dot)com> wrote:> committed, thanks
Glad that this finally happened. Thanks to everybody involved!
-- Peter Geoghegan