Robert Haas <robertmh...@gmail.com> writes: > ... But while I agree it's good to remove unused stuff in the > master, it doesn't seem like we really need to back-patch it.
Yeah, exactly. I don't see any benefit that's commensurate with even a small risk of breaking extensions --- and apparently, in this case that's not a risk but a certainty. regards, tom lane