Release 0.7.1

savonet · Aug 19, 2018 · 55fc5bd · 55fc5bd
1 parent 26bc323
commit 55fc5bd
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGES b/CHANGES
@@ -1,4 +1,4 @@
-0.7.1 ()
+0.7.1 (18-08-2018)
 =====
 * Use poll() when available.
 * Wake up all queues when shuttding down.

diff --git a/m4 b/m4
+23 −1		base_checks.m4
+1 −1		bootstrap
+1 −1		ocaml_compilers.m4