merge before pushing, next time

[simgrid.git] / sonar-project.properties

diff --git a/sonar-project.properties b/sonar-project.properties
index 0ddb6539ad8cbc20bc51f1b6e1569afdb3aae861..bd63c2780b85c00a34d98541b0b7403bd0a4923f 100644 (file)
--- a/sonar-project.properties
+++ b/sonar-project.properties
@@ -4,7 +4,7 @@
 sonar.organization=simgrid
 sonar.projectKey=simgrid_simgrid
 sonar.projectName=SimGrid
-sonar.projectVersion=3.23.2
+sonar.projectVersion=3.23.3
 
 sonar.links.homepage=https://simgrid.org
 sonar.links.issue=https://framagit.org/simgrid/simgrid/issues