On 6/21/22 11:32, Thiede, Christoph wrote:
> Hi Tony,
> 
> no, the semantics of *Debugger's Abandon* do not have changed: When you 
> press Abandon, all ensure: contexts will be run that are not yet active.

Thank you! That's a very clear explanation.

Best Regards,
   Tony