From 7f7d26610af7ce24d30b5d6446e0ed3c16a85383 Mon Sep 17 00:00:00 2001
From: Jan Rochel <jrochel@besport.com>
Date: Mon, 14 Jan 2019 11:20:38 +0100
Subject: [PATCH] release: 1.4

---
 CHANGES | 5 +++++
 opam    | 2 +-
 2 files changed, 6 insertions(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index 32126febd..c41380727 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,8 @@
+===== 1.3.1 (2019-01-14) =====
+
+* small fixes in the template and the documentation
+* Add function Os_tips.tip_seen
+
 ===== 1.3.0 (2018-12-26) =====
 
 * Os_tips: additional features
diff --git a/opam b/opam
index ec61b53d2..0ef1555e9 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "ocsigen-start"
-version: "dev"
+version: "1.4"
 authors: "dev@ocsigen.org"
 maintainer: "dev@ocsigen.org"
 synopsis: "An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc"