Jeroen van Rijn
0251becedb
Revert #6476
...
PR #6476 "fixed" an issue that didn't exist because it misunderstood this allocator's semantics. What it conluded was an edge case was in fact entirely predictable and desireable behavior for this allocator.
In "fixing" this edge case, it prevented the exact scratch mechanics that sets this allocator apart for its use case.
Reverted.
2026-09-04 23:23:26 +02:00
..
2026-09-04 23:23:26 +02:00
2026-09-04 23:23:26 +02:00
2025-01-05 14:03:08 +00:00
2024-06-02 21:15:25 +02:00
2025-06-02 20:30:48 +02:00
2024-06-02 21:15:25 +02:00
2022-10-08 17:07:29 +11:00
2024-06-07 16:33:38 +02:00
2024-06-02 21:15:25 +02:00
2023-07-02 23:00:37 +02:00
2023-07-08 23:46:51 +02:00
2023-07-19 20:27:34 +02:00
2025-06-15 12:34:15 -04:00
2025-06-19 19:54:12 -04:00
2024-09-07 14:05:56 +02:00
2025-06-05 07:48:10 -04:00
2024-12-28 10:29:44 +01:00
2025-04-30 20:13:21 +02:00
2025-05-26 19:48:28 +02:00
2025-04-30 20:13:21 +02:00
2025-06-03 11:18:11 +02:00
2026-08-05 00:17:48 +10:00
2026-07-14 21:36:06 +05:30
2026-07-14 21:36:06 +05:30
2025-12-03 21:27:38 +03:00
2026-01-07 02:19:41 -03:00
2026-01-24 14:06:31 +01:00
2026-03-01 21:18:30 -08:00
2026-02-28 12:33:57 -03:00
2026-03-10 23:21:19 +05:30
2026-03-11 03:04:26 +05:30
2026-07-28 22:48:38 +05:30
2026-03-26 20:10:24 -04:00
2026-04-22 13:14:08 +02:00
2026-04-27 10:28:35 +02:00
2026-08-05 00:17:48 +10:00
2026-07-14 10:37:20 +05:30
2026-07-14 10:26:52 +05:30
2026-06-19 16:52:51 +03:00
2026-06-24 08:41:29 +02:00
2026-07-09 14:14:05 +02:00
2026-08-22 11:12:11 +12:00
2026-07-12 21:29:57 +05:30
2026-07-12 21:29:57 +05:30
2026-08-09 00:01:14 +02:00
2026-07-14 09:42:06 -03:00
2026-07-30 00:26:12 +05:30
2026-07-19 18:34:48 -03:00
2026-07-25 19:28:56 +05:30
2026-08-01 19:48:54 +03:00
2026-08-07 20:05:53 +02:00
2026-08-21 00:46:47 +02:00
2026-08-16 00:30:42 +02:00
2026-08-26 15:08:01 +12:00
2026-08-17 12:48:41 +05:30
2026-08-27 14:53:54 +08:00
2026-08-27 14:53:54 +08:00
2026-08-25 14:41:48 +05:30
2026-08-24 00:55:16 -07:00
2026-08-24 18:34:59 -07:00
2026-08-24 18:15:01 -07:00
2026-08-25 21:47:02 -07:00
2026-08-21 17:54:13 -07:00
2026-08-21 17:31:42 -07:00
2026-08-21 17:59:02 -07:00
2026-08-25 22:22:33 -07:00
2026-08-12 18:52:33 -07:00
2026-08-11 16:53:57 -07:00
2026-03-24 15:40:29 -04:00