Bump catalog version for the addition of leader_pid in pg_stat_activity

michaelpq · michaelpq · commit c4f3b63caba0 · 2020-02-07T15:08:17.000+09:00
Oversight in commit b025f32. Per private report from Julien Rouhaud.
diff --git 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
