From 24bc8f812f3c968f7a105301a1d5c165b798bdc1 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Sun, 15 Mar 2020 12:51:34 -0400 Subject: [PATCH] New revision for dev build --- dist/version | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dist/version b/dist/version index d87e1e9a6..74c421220 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.25.3.1 +1.25.3.2