On Wed, Apr 26, 2023 at 8:29 AM Daniel Gustafsson <[email protected]> wrote: > Pushed, but without the comment extension as I felt the existing comment aptly > discussed the codepath. Thanks!
Woopsie. Thanks to both of you. -- Robert Haas EDB: http://www.enterprisedb.com
