a fake commit because the version number was not in sync

b01c7137 · erwan · b158b1c6 · b01c7137 · b01c7137
Commit b01c7137 authored Mar 10, 2017 by erwan
--- a/_oasis
+++ b/_oasis
 OASISFormat: 0.4
 Name:        Lutin
-Version:     2.15
+Version:     2.17
 Authors:     Erwan Jahier
 Maintainers: erwan.jahier@imag.fr
 License:     PROP

--- a/lutin/src/version.ml
+++ b/lutin/src/version.ml
-let str="2.15"
-let sha="e7a3a44"
+let str="2.17"
+let sha="b158b1c"