Feb. 7, 2018
10:34 p.m.
On 7. Feb 2018, at 08:58, Marcus Denker <marcus.denker@inria.fr> wrote:
Ok, pull request for Pharo7:
https://github.com/pharo-project/pharo/pull/806
we should add that to Pharo6, too (Slice is already in the inbox)
lovely! Thank you!