On Wed, Jan 15, 2025 at 4:57 PM Amit Kapila <amit.kapil...@gmail.com> 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