Catversion bump forgotten in previous commit

diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
index 43e09ec17987be31c078c7b449078279ab2ff9d9..44bf9a9708c9c898ebad42109c15153ceb78dc27 100644 (file)
--- a/src/include/catalog/catversion.h
+++ b/src/include/catalog/catversion.h
@@ -53,6 +53,6 @@
  */
 
 /*                                                     yyyymmddN */
-#define CATALOG_VERSION_NO     201704101
+#define CATALOG_VERSION_NO     201704131
 
 #endif