diff --git a/CHANGES b/CHANGES
index 32126febd..d1c15ec0f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,8 @@
+===== 1.4.0 (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..1ae8cc055 100644
--- a/opam
+++ b/opam
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "ocsigen-start"
-version: "dev"
+version: "1.4.0"
 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"