From 4e3f77aa7246a839560c3586b138e40f7506b28f Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Tue, 23 Oct 2018 14:07:30 -0300 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 181f2ee05..fe0503064 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.17.1.2 +1.17.3.0