On Tue, Jul 01, 2025 at 10:01:37PM +0200, Michael Banck wrote:
> On Tue, Jul 01, 2025 at 12:41:50PM -0400, Tom Lane wrote:
>> Pushed, after some fooling with the comments and commit messages.
>
> Thanks! Also for back-patching them.
Catching up on this thread after-the-fact, specifically looking at
29213636e6cd as I did the original check tweaked here for O_RDONLY.
Agreed that a backpatch should be OK as done. The buildfarm looks OK
currently.
--
Michael