Release v0.8.25 (#1232)
diff --git a/version.txt b/version.txt index fee5b02..ff6d31b 100644 --- a/version.txt +++ b/version.txt
@@ -1 +1 @@ -v0.8.24 +v0.8.25