Bump version number to 2.3.1.

PiperOrigin-RevId: 493076656
Change-Id: I48c7a45b503c4a7363ea1455a4a3788262d007f7

unity/Editor/Bindings/MujocoBinaryRetriever.cs

@@ -37,7 +37,7 @@ public class MujocoBinaryRetriever {
           if (AssetDatabase.LoadMainAssetAtPath(mujocoPath + "/mujoco.dylib") == null) {
             File.Copy(
                 "/Applications/MuJoCo.app/Contents/Frameworks" +
-                "/mujoco.framework/Versions/Current/libmujoco.2.3.0.dylib",
+                "/mujoco.framework/Versions/Current/libmujoco.2.3.1.dylib",
                 mujocoPath + "/mujoco.dylib");
             AssetDatabase.Refresh();
           }
@@ -45,7 +45,7 @@ public class MujocoBinaryRetriever {
           if (AssetDatabase.LoadMainAssetAtPath(mujocoPath + "/libmujoco.so") == null) {
             File.Copy(
                 Environment.GetFolderPath(Environment.SpecialFolder.UserProfile) +
-                "/.mujoco/mujoco-2.3.0/lib/libmujoco.so.2.3.0",
+                "/.mujoco/mujoco-2.3.1/lib/libmujoco.so.2.3.1",
                 mujocoPath + "/libmujoco.so");
             AssetDatabase.Refresh();
           }

unity/Runtime/Bindings/MujocoBindings.cs

@@ -101,7 +101,7 @@ public const int mjMAXLINEPNT = 1000;
 public const int mjMAXPLANEGRID = 200;
 public const bool THIRD_PARTY_MUJOCO_MJXMACRO_H_ = true;
 public const bool THIRD_PARTY_MUJOCO_MUJOCO_H_ = true;
-public const int mjVERSION_HEADER = 230;
+public const int mjVERSION_HEADER = 231;
 
 
 // ------------------------------------Enums------------------------------------

unity/package.json

@@ -1,7 +1,7 @@
 {
   "name": "org.mujoco",
   "displayName": "MuJoCo",
-  "version": "2.3.0",
+  "version": "2.3.1",
   "description": "MuJoCo importer and runtime plug-in",
   "dependencies": {},
   "author": {