release: 1.4

ocsigen · Jan 14, 2019 · 7f7d266 · 7f7d266
1 parent dbb5f33
commit 7f7d266
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git 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
@@ -1,6 +1,6 @@
 opam-version: "2.0"
 name: "ocsigen-start"
-version: "dev"
+version: "1.4"
 authors: "[email protected]"
 maintainer: "[email protected]"
 synopsis: "An Eliom application skeleton ready to use to build your own application with users, (pre)registration, notifications, etc"