Merge remote-tracking branch 'origin/dev' into dev

k94314517

2023-09-11 8ee88e8c511b75f2b2e566c37b38209a0c35afa8

 server/platform/pom.xml

@@ -8,9 +8,7 @@
        <artifactId>preselect</artifactId>
        <version>1.0.0-SNAPSHOT</version>
    </parent>

    <artifactId>platform</artifactId>

    <properties>
        <maven.compiler.source>8</maven.compiler.source>
        <maven.compiler.target>8</maven.compiler.target>