pgsql-server/src/include/catalog duplicate_oids

CVSROOT: /cvsroot
Module name: pgsql-server
Changes by: tgl@postgresql.org 02/09/16 21:28:36

Modified files:
src/include/catalog: duplicate_oids

Log message:
Un-break duplicate_oids script.