mirror of
https://github.com/postgres/postgres.git
synced 2026-06-07 08:09:18 -04:00
6d6ca2166c
_RETURN now, since there's no need to keep 'em unique anymore.