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.