mirror of
https://github.com/postgres/postgres.git
synced 2026-06-05 07:13:06 -04:00
3a96b6cdeb
left a stub for a future "ALTER RULE RENAME" but did not write that one yet. Bruce, if you want to add my name for for that I'll take it and do it later. Joe Conway