Bump catversion.

robertmhaas · robertmhaas · commit a8e9b86b5e02 · 2014-03-03T07:22:20.000-05:00
The previous patch should have entailed a catversion bump, but I
forgot.
diff --git a/src/include/catalog/catversion.h b/src/include/catalog/catversion.h
@@ -53,6 +53,6 @@
  */
 
 /*							yyyymmddN */
-#define CATALOG_VERSION_NO	201402251
+#define CATALOG_VERSION_NO	201403031
 
 #endif
