From 27bcc372b1b323f2d6e0958a05a66b119cfdda38 Mon Sep 17 00:00:00 2001
From: Alvaro Herrera <alvherre@alvh.no-ip.org>
Date: Thu, 13 Apr 2017 11:54:00 -0300
Subject: [PATCH] Catversion bump forgotten in previous commit

---
 src/include/catalog/catversion.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
index 43e09ec179..44bf9a9708 100644
--- 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