Hi bernhard sorry. Yes we should have a look.
Stef On Sun, Feb 25, 2018 at 4:12 PM, Bernhard Pieber <[email protected]> wrote: > Hi all, > > Can somebody please help me get my bugfix from December integrated? For some > reason CI fails and I have no idea how to debug that. :-( > https://github.com/pharo-project/pharo/pull/632 > > Bernhard
