Marcel Admiraal 7eb0fcdb1a Remove elements from monitored_bodies and monitored_areas as they are
processed before calling the callback, instead of after they have all
been processed, because the callbacks may readd them.
2020-07-04 10:17:57 +01:00
..
2020-04-02 13:38:00 +02:00
2020-04-09 15:33:01 +10:00
2020-04-09 15:33:01 +10:00