On Wed, Jan 15, 2025 at 4:57 PM Amit Kapila <[email protected]> wrote:
>
> LGTM. I'll push this tomorrow unless there are more comments. I am
> planning to push this to HEAD as this is an improvement in existing
> docs and not any bug fix.
>

Pushed.

-- 
With Regards,
Amit Kapila.


Reply via email to