an OID >= 8000 in master

Hello.

I happened to find that the commit 71dcd74 added the function
"network_sortsupport" with OID = 8190. Is it right?  Otherwise we
should we move it to, say, 4035.

(I understand that OID [8000, 9999] are development-use.)

regards.

-- 
Kyotaro Horiguchi
NTT Open Source Software Center
From d838f3ec847c6b5093e7a4df6192056e953db998 Mon Sep 17 00:00:00 2001
From: Kyotaro Horiguchi <horikyota.ntt@gmail.com>
Date: Thu, 21 Nov 2019 10:32:33 +0900
Subject: [PATCH] Change OID of a function.

Commit 71dcd74386 used an OID in the range 8000-9999, which are for
development-use. Change it to lower value.
---
 src/include/catalog/pg_proc.dat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/catalog/pg_proc.dat b/src/include/catalog/pg_proc.dat
index 58ea5b982b..c1abf4accf 100644
--- a/src/include/catalog/pg_proc.dat
+++ b/src/include/catalog/pg_proc.dat
@@ -3960,7 +3960,7 @@
 { oid => '3551',
   proname => 'network_overlap', prorettype => 'bool',
   proargtypes => 'inet inet', prosrc => 'network_overlap' },
-{ oid => '8190', descr => 'sort support',
+{ oid => '4035', descr => 'sort support',
   proname => 'network_sortsupport', prorettype => 'void',
   proargtypes => 'internal', prosrc => 'network_sortsupport' },
 
-- 
2.23.0