cherry-picking some bug fixes

florence · Mar 31, 2015 · 875c9d5 · 875c9d5
1 parent 1d588cf
commit 875c9d5
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/info.rkt b/info.rkt
@@ -21,4 +21,4 @@
 
 (define test-command-line-arguments '(("tests/arg.rkt" ("a"))))
 
-(define version "1.3.1")
+(define version "1.3.2")