>Yep. I uploaded a fix.
>
>> 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