Merge branch 'eugenp:master' into PR-6865

2023-08-28 23:14:13 +05:30
parent 2b88d3e646 5b8de98ac3
commit e521083c14
163 changed files with 1453 additions and 952 deletions
@@ -69,7 +69,6 @@

    <properties>
        <!-- testing -->
-        <maven-compiler-plugin.version>3.1</maven-compiler-plugin.version>
        <maven.compiler.source>12</maven.compiler.source>
        <maven.compiler.target>12</maven.compiler.target>
        <vavr.version>0.10.2</vavr.version>