From: Michael Paquier <michael@paquier.xyz>
Date: Fri, 7 Feb 2020 06:08:17 +0000 (+0900)
Subject: Bump catalog version for the addition of leader_pid in pg_stat_activity
X-Git-Tag: REL_13_BETA1~753
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c4f3b63caba02b087519d58cb9bf4990b9c8ec45;p=thirdparty%2Fpostgresql.git

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 b520c050839..571b6a2c23b 100644
--- 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