On Mon, Jun 30, 2025 at 5:34 PM Nathan Bossart <nathandbossart@gmail.com> wrote:
> These functions have been around for a while, but commits 48b5aa3 and
> 15afb7d were only back-patched to v16. Any objections if I apply them down
> to v13 now?
Seems fine to me.
--
Robert Haas
EDB: http://www.enterprisedb.com