mirror of
https://github.com/postgres/postgres.git
synced 2026-05-29 12:06:09 -04:00
e5a4dea80f
Seems to have been missed when this function was added. Noted while looking at David Steele's proposal to add another similar function.