Tomas Vondra <to...@vondra.me> writes: > On 8/14/24 18:30, Jelte Fennema-Nio wrote: >> Looks good to me.
> Pushed, after rewording the commit message a bit.
This patch does not appear to have updated any of the relevant
documentation.
regards, tom lane
