On Wednesday, December 17, 2025, Jacob Champion <
jacob.champion@enterprisedb.com> wrote:
On Wed, Dec 17, 2025 at 4:04 AM Amit Kapila <amit.kapila16@gmail.com> wrote:
> LGTM. As this is not any bug fix rather a text improvement, so it is
> good to fix this in HEAD only.
Don't we typically backpatch documentation improvements? Otherwise no
one gets the better docs for a year.
Presently it’s the same criteria as for the code - things deemed bug fixes get back-patched; pure enhancements do not.
I doubt we’d want to push them back beyond the latest stable release but there is definitely an argument for new efforts to be dropped into there and not just master.
David J.