Forgotten catversion bump

6254c55f81, c085e1c1cb and 075f0a880f 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 6254c55f81, c085e1c1cb and 075f0a880f.

diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
index 18616807c69b2be64cae2a95e02b53b09d771948..e3a6e8dc410204f7575870150e651d78837d7554 100644 (file)
--- 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