From f6c83cf38d794d76ee6e7b5118f9dcb256156085 Mon Sep 17 00:00:00 2001 From: Raymond Hill Date: Thu, 23 May 2019 10:27:42 -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 7250b12d3..91744d282 100644 --- a/dist/version +++ b/dist/version @@ -1 +1 @@ -1.19.3.13 +1.19.5.0