Updated version to go with the merge of pull request #134 from
Max Chen.
diff --git a/VERSION b/VERSION
index 53faade..f3f8b21 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-1.0.187
+1.0.188