Merge remote-tracking branch 'origin/master'

This commit is contained in:
Hosted Weblate 2021-05-13 19:07:55 +02:00
commit be4b7df393

View File

@ -48,7 +48,7 @@
<properties>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<jmh.version>1.30</jmh.version>
<jmh.version>1.31</jmh.version>
<javac.target>1.8</javac.target>
<uberjar.name>openrefine-benchmarks</uberjar.name>
</properties>