Forgotten catversion bump

akorotkov · akorotkov · commit 565f33900053 · 2019-07-14T15:22:21.000+03:00
6254c55, c085e1c and 075f0a8 all change system catalog. But catversion bump is missed in all of them. So, do catversion bump now. Also, I need mention patch reviewer Fabien Coelho, who has been missed in commit messages of 6254c55, c085e1c and 075f0a8.
diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
@@ -53,6 +53,6 @@
  */
 
 /*							yyyymmddN */
-#define CATALOG_VERSION_NO	201907054
+#define CATALOG_VERSION_NO	201907141
 
 #endif
