Tomas Vondra <tomas@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