diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2017-07-13 17:05:02 +0200 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2017-07-13 17:05:02 +0200 |
commit | 892f655d54c69768163450c4a8eb3f102628d258 (patch) | |
tree | ff9ad31e83af261d266d642bf1697c0f2e1177b4 /lib/util.ml | |
parent | 032e4f2bf5cb6eadba6ebbb16dd5d0c812dd2033 (diff) |
Set version to 8.7+alpha.
It is a valid git tag (unlike 8.7~alpha) and will be considered by most
tools as < 8.7.0 (unlike 8.7.0+alpha).
Diffstat (limited to 'lib/util.ml')
0 files changed, 0 insertions, 0 deletions