Robin Gareus 5a0531df01
Sync all_regions after region removal ...
The eventual goal is to keep the set of used regions
in sync, and allow to remove explicit calls to
`sync_all_regions_with_regions`.
This prevents `all_regions` to retain a reference to
a region that has been destroyed.
2023-05-31 01:20:29 +02:00
2022-04-09 12:16:41 +02:00
2023-05-31 01:20:29 +02:00
2023-04-27 15:35:22 +02:00
2023-05-22 04:50:19 +02:00
2022-10-24 04:57:30 +02:00
2023-05-19 06:16:49 +02:00
2023-05-01 08:49:27 -05:00
2022-01-22 22:19:03 +01:00
2023-05-03 15:38:42 +02:00
2023-04-01 17:21:32 +02:00
2022-10-30 20:44:28 -04:00
2023-05-04 21:31:13 +02:00
2023-04-21 13:43:46 -06:00
2022-01-22 22:19:03 +01:00
2022-08-03 12:10:01 -06:00
2023-05-13 17:38:41 +02:00
2023-04-23 11:34:28 -06:00
2023-03-24 14:19:15 -06:00
2023-05-19 03:08:22 +02:00
2023-05-07 01:41:01 +02:00
2022-04-09 12:16:37 +02:00
2022-11-26 16:23:52 +01:00
2023-05-24 23:01:34 +02:00
2023-05-22 21:26:26 +02:00
2023-02-02 17:58:46 +01:00
2022-09-21 19:09:55 -06:00
2023-03-25 07:46:47 +01:00
2023-02-08 02:03:54 +01:00
2023-03-24 14:19:15 -06:00
2023-05-27 15:15:42 +02:00
2022-01-22 22:19:03 +01:00
2022-05-24 20:41:59 +02:00
5a0531df01