Merge pull request #142 from cryptimeleon/version-bump

Version bump to 3.0.1

Author: feidens

build.gradle

@@ -8,7 +8,7 @@ plugins {
 group = 'org.cryptimeleon'
 archivesBaseName = project.name
 boolean isRelease = project.hasProperty("release")
-version = '3.0.0'  + (isRelease ? "" : "-SNAPSHOT")
+version = '3.0.1'  + (isRelease ? "" : "-SNAPSHOT")
 
 sourceCompatibility = 1.8
 targetCompatibility = 1.8