Bump the version to 0.7.1

2017-08-29 15:07:02 +01:00
1 parent 12024bf232
commit a724d86ba2
@@ -1 +1 @@
-0.7.0-rc6
+0.7.1
@@ -180,7 +180,7 @@
  ;;-----------------------------------------------

  ;; FIXME: don't hard code this
-  (define tools-version "0.7.0-rc6")
+  (define tools-version "0.7.1")

  (define (tool-name sym)
    (define (to-underscore c)