> On Jul 15, 2018, at 7:58 AM, Pharo Issue Tracker <[hidden email]> wrote:
>
> yes indeed, a nice, short & obvious solution! nevertheless i assume i should not close that thing because i guess somebody should repair that, and i cant do that as i'm still fighting with iceberg.
> werner