Merge pull request #340 from cicirello/dependabot/maven/master/org.cicirello-rho-mu-3.1.0

Bump rho-mu from 3.0.4 to 3.1.0

Author: cicirello

pom.xml

@@ -197,7 +197,7 @@
 		<dependency>
 			<groupId>org.cicirello</groupId>
 			<artifactId>rho-mu</artifactId>
-			<version>3.0.4</version>
+			<version>3.1.0</version>
 		</dependency>
 		<dependency>
 			<groupId>org.cicirello</groupId>