Hello,
On Tue, Nov 21, 2017 at 06:23:43PM +0100, Sophie Herold wrote:
>
> I did not find any advice on how to choose a new OID for pg_proc.
>
Just two cents in addition to Stephen's and Tom's answers. You can choose a new Oid using unused_oids script. Just do the following:
$ cd src/include/catalog
$ ./unused_oids
--
Arthur Zakirov
Postgres Professional: http://www.postgrespro.com
Russian Postgres Company