On 6 Dec 2016, at 07:10, Marcus Denker <marcus.denker@inria.fr> wrote:

On 5 Dec 2016, at 19:10, Holger Freyther <holger@freyther.de> wrote:

On 05 Dec 2016, at 13:03, Denis Kudriashov <dionisiydk@gmail.com> wrote:

Dear Denis,

It was fixed here 16877 and here 19108. (last allows interrupt in such cases)

is this in Pharo5 or will it show up in Pharo5?

These are good candidates for back porting. I will put it on my TODO.