Nimrod Gileadi
64a59bb2dc
Use the correct free function to free plugin data.
...
The array was created with `mju_malloc` (which does an aligned alloc) and released with `free` (which doesn't care about alignment), which led to errors on Windows.
PiperOrigin-RevId: 578186714
Change-Id: I193987bed061e945c49d7268a9a9af3f17af362a
2023-10-31 08:07:22 -07:00
..
2023-09-12 06:06:04 -07:00
2022-06-16 07:15:14 -07:00
2023-05-28 05:02:34 -07:00
2022-05-23 01:08:49 -07:00
2023-10-12 10:49:35 +01:00
2023-10-15 07:40:10 -07:00
2023-10-12 10:49:35 +01:00
2023-10-18 02:56:14 -07:00
2023-10-12 10:49:35 +01:00
2023-10-15 07:40:10 -07:00
2023-10-12 10:49:35 +01:00
2023-10-15 07:40:10 -07:00
2023-08-16 09:15:23 -07:00
2023-10-28 08:25:25 -07:00
2023-10-12 10:49:35 +01:00
2023-10-23 10:02:00 -07:00
2023-10-12 10:49:35 +01:00
2023-09-12 06:06:04 -07:00
2023-09-12 06:06:04 -07:00
2023-10-14 08:38:37 -07:00
2023-04-28 09:04:41 -07:00
2023-10-20 02:49:34 -07:00
2023-07-07 05:33:24 -07:00
2023-10-17 13:17:24 -07:00
2023-01-09 04:04:25 -08:00
2023-10-12 10:49:35 +01:00
2022-05-23 01:08:49 -07:00
2023-10-31 08:07:22 -07:00
2023-10-12 10:49:35 +01:00
2023-10-17 13:17:24 -07:00
2023-09-05 11:41:43 -07:00
2023-10-09 11:14:44 -07:00
2023-10-25 05:01:45 -07:00
2023-03-03 08:32:16 -08:00
2023-08-30 06:53:20 -07:00
2023-09-05 11:05:04 -07:00
2023-10-25 05:01:45 -07:00
2022-05-23 01:08:49 -07:00
2023-10-15 07:40:10 -07:00
2023-10-12 10:49:35 +01:00
2023-08-30 06:53:20 -07:00
2023-08-30 04:47:24 -07:00
2023-10-20 02:49:34 -07:00
2022-05-23 01:08:49 -07:00
2023-10-20 02:49:34 -07:00
2022-05-23 01:08:49 -07:00
2023-09-28 00:58:13 -07:00
2023-09-15 05:47:24 -07:00
2023-10-18 15:01:21 +01:00
2023-10-12 10:49:35 +01:00
2023-09-11 11:09:53 -07:00
2023-08-28 10:29:48 -07:00
2023-10-15 07:40:10 -07:00
2023-08-22 04:04:02 -07:00
2023-09-05 11:05:04 -07:00
2023-10-12 10:49:35 +01:00
2023-10-15 07:40:10 -07:00
2023-09-21 09:41:00 -07:00
2023-10-08 04:04:34 -07:00
2023-10-06 04:10:44 -07:00
2023-09-01 07:40:16 -07:00
2023-10-15 07:40:10 -07:00
2023-10-12 10:49:35 +01:00
2023-07-11 12:35:02 -07:00
2023-03-06 06:37:42 -08:00
2023-08-30 06:53:20 -07:00
2023-08-30 04:47:24 -07:00
2023-10-30 02:42:26 -07:00
2022-08-05 01:04:02 -07:00
2023-10-15 07:40:10 -07:00
2023-10-12 10:49:35 +01:00
2023-10-12 10:49:35 +01:00
2023-04-21 08:44:20 -07:00
2023-10-25 09:08:20 -07:00
2023-10-12 10:49:35 +01:00