Merge tag '3.1.4' into develop

3.1.4

Merge tag '3.1.4' into develop
3.1.4
0209a6ee · Ubbo Veentjer · 672ff2c6 · eba78f76 · 0209a6ee
Commit 0209a6ee authored Jun 25, 2020 by Ubbo Veentjer
--- a/build.gradle
+++ b/build.gradle
@@ -10,7 +10,7 @@ apply plugin: 'jacoco'
 apply plugin: 'war'

 group = 'info.textgrid.rep'
-version = '3.1.4-SNAPSHOT'
+version = '3.1.4'
 sourceCompatibility = '1.8'

 repositories {