diff --git a/dist/version b/dist/version index 7c9f035e9..28e580665 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.25.1.1 +1.25.1.2