Bump catalog version for the addition of leader_pid in pg_stat_activity

Oversight in commit b025f32.

Per private report from Julien Rouhaud.

diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
index b520c0508394a01df227b6ee0c117218ce6e071b..571b6a2c23b509bc915e62a580d1ed3859fd53cb 100644 (file)
--- a/src/include/catalog/catversion.h
+++ b/src/include/catalog/catversion.h
@@ -53,6 +53,6 @@
  */
 
 /*                                                     yyyymmddN */
-#define CATALOG_VERSION_NO     202001291
+#define CATALOG_VERSION_NO     202002071
 
 #endif