diff --git a/mps/readme.txt b/mps/readme.txt index 03c2b0bd26d..b60f4930119 100644 --- a/mps/readme.txt +++ b/mps/readme.txt @@ -64,6 +64,13 @@ Defect discovered: call would fail. Fixed: mps_arena_formatted_objects_walk() will now work. + + - when MPS starts a garbage collection, it now tells + the client by posting a message of the new type + mps_message_type_gc_start(). The message includes + a textual explanation (for the client programmer) + of why this collection was triggered. + Other changes: