From 2a1f82cd4b543dfff1998dee9fa9a480dc9f47bc Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Thu, 8 Nov 2018 09:22:00 -0200 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 e13f9f9ef..ec8f2abb7 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.17.3.6 +1.17.3.7