diff options
| author | Michael Paquier | 2020-02-07 06:08:17 +0000 |
|---|---|---|
| committer | Michael Paquier | 2020-02-07 06:08:17 +0000 |
| commit | c4f3b63caba02b087519d58cb9bf4990b9c8ec45 (patch) | |
| tree | 79d814e495f1e0730ece66bfcbcece7378872c89 /src/include | |
| parent | 4eaea3db150af56aa2e40efe91997fd25f3b6d73 (diff) | |
Bump catalog version for the addition of leader_pid in pg_stat_activity
Oversight in commit b025f32.
Per private report from Julien Rouhaud.
Diffstat (limited to 'src/include')
| -rw-r--r-- | src/include/catalog/catversion.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 |