From c5b261e4e1acb2be14a3d5fe2a7a8dc4b56073c2 Mon Sep 17 00:00:00 2001
From: Nikolaus Krismer <nikolaus.krismer@uibk.ac.at>
Date: Fri, 8 Aug 2014 23:06:37 +0200
Subject: [PATCH] using latest postgresql-jdbc driver (does this still
 influence performance badly as with version v0.3.1?)

---
 build.gradle | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build.gradle b/build.gradle
index 3a9599c6..9e1d41c8 100644
--- a/build.gradle
+++ b/build.gradle
@@ -49,8 +49,8 @@ ext {
 	isRelease = false
 	versionFindbugs = '+'
 	versionJacoco = '+'
-	//versionPostgresql = '9.2+'
-	versionPostgresql = '9.2-1004-jdbc41'
+	versionPostgresql = '9.3+'
+	//versionPostgresql = '9.2-1004-jdbc41'
 }
 
 if (!version.matches(~/[0-9\.]*(-SNAPSHOT)?/)) {
-- 
GitLab