release: 1.4.0

Jan Rochel · Jan Rochel · commit 872048a270e7 · 2019-01-14T12:31:53.000+01:00
diff --git 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
@@ -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"
