06.03.2023 06:52, Thomas Munro wrote:
>> So if that patch requires attention of a seasoned reviewer, let's
>> send it to the commitfest (I can register the patch if you don't mind)?
>> Otherwise, maybe just commit it and move to other bugs...
> Pushed. Thanks!
Thank you for the fix!
(It makes at least parallel installcheck procedure simpler.)
Best regards,
Alexander