1ad5cdb4a4
Replaced use of during_initial_mark_pause() with the variable last_pause_included_initial_mark that holds the real old value of _during_initial_mark_pause. Reviewed-by: brutisso, ehelin