On Mon, Jun 30, 2025 at 5:34 PM Nathan Bossart <nathandboss...@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