"David G. Johnston" <david.g.johns...@gmail.com> writes:
> On Thu, Jun 12, 2025 at 8:05 PM Fujii Masao <masao.fu...@oss.nttdata.com>
> wrote:
>> Therefore I see this as fixing an oversight in commit bba2fbc6238, so I'd
>> like to commit the 0001 patch as well in v18. Thought?
> You should get the concurrence of the RMT.
> ...
> Also, I was under the impression that updating relevant documentation for
> a feature wasn't even subject to RMT review;
FWIW, I agree with David's view of both of these points. RMT
review of 0001 should be a formality here, but nonetheless
we should adhere to process.
regards, tom lane
