Updated revision to trigger new tarball and github mirror.
diff --git a/VERSION b/VERSION index 140333f..c2320f5 100644 --- a/VERSION +++ b/VERSION
@@ -1 +1 @@ -1.0.19 +1.0.20
