On 2022-Aug-10, Robert Haas wrote:
> David Steele voted for back-patching this on the grounds that it would
> make future back-patching easier, which is an argument that seems to
> me to have some merit, although on the other hand, we are already into
> August so it's quite late in the day. Anyone else want to vote?
Given that 10 of these 11 files are new in 15, I definitely agree with
backpatching the move.
Moving the include/ files is going to cause some pain for any
third-party code #including those files. I don't think this is a
problem.
--
Álvaro Herrera Breisgau, Deutschland — https://www.EnterpriseDB.com/