Bump version to 19.1.3

jhh · jhh · commit 7308818bdb7c · 2019-01-20T17:57:35.000-05:00
diff --git a/build.gradle b/build.gradle
@@ -4,7 +4,7 @@ plugins {
     id "idea"
 }
 
-version = "19.1.2"
+version = "19.1.3"
 
 repositories {
     jcenter()
