Michael Paquier <michael@paquier.xyz> writes:
> It is v18 and HEAD are on par in terms of features, with only
> 4eca711bc991 and 7b2eb72b1b8c requiring a cherry-pick, so perhaps we
> should begin with that, before moving with more cherry-picks down to
> v17 as the second step?
> Any thoughts from others? Would it be useful to get that down to the
> back-branches?
I don't have a strong opinion about whether this is worth getting into
the back branches. I do have a strong opinion that just before a
release freeze is not the time to be pushing such changes into stable
branches. Even after the release, I wouldn't touch v13: we have
learned repeatedly that inessential changes made in a branch's final
release are often sources of regret.
regards, tom lane