Merge remote-tracking branch 'open/master' into my-merge-july-11-11-27

This commit is contained in:
Stefano Franz 2018-07-11 11:56:41 +01:00
commit 0d7169407a

@ -184,6 +184,7 @@ allprojects {
jvmTarget = "1.8"
javaParameters = true // Useful for reflection.
freeCompilerArgs = ['-Xjvm-default=compatibility']
allWarningsAsErrors = true
}
}