Copy arena contents in mj_copyData.

Fixes #1710. PiperOrigin-RevId: 651351384 Change-Id: I56e3204b30bb18f48278117e85e90464177da973
2024-07-11 03:53:45 -07:00
parent f9ab89b205
commit e7301edd20
3 changed files with 23 additions and 1 deletions
@@ -80,6 +80,11 @@ Python bindings
 ^^^^^^^^^^^^^^^
 20. Fixed a memory leak when using ``copy.deepcopy()`` on a ``mujoco.MjData`` instance (:github:issue:`1572`).

+Bug fixes
+^^^^^^^^^
+21. Fix an issue where ``mj_copyData`` (or ``copy.copy()`` in the Python bindings) was not copying contact information
+    correctly (:github:issue:`1710`).
+
 Version 3.1.6 (Jun 3, 2024)
 ---------------------------