mirror of
https://github.com/postgres/postgres.git
synced 2025-12-10 14:22:35 +03:00
output parameters or VOID or a set. There seems no particular reason to insist on a RETURN in these cases, since the function return value is determined by other elements anyway. Per recent discussion.