Ok I tagged them for Pharo80 and now they are in our radar. Thanks andrei. We are doing too many things.
> On 23 Nov 2019, at 19:17, Andrei Chis <[email protected]> wrote: > > Hey! > > They are: > https://github.com/pharo-project/pharo/issues/3158 > <https://github.com/pharo-project/pharo/issues/3158> > https://github.com/pharo-project/pharo/issues/4565 > <https://github.com/pharo-project/pharo/issues/4565> > > Cheers, > Andrei > > On Sat, Nov 23, 2019 at 12:39 PM ducasse <[email protected] > <mailto:[email protected]>> wrote: > Hi andrei > > can you tell us the bug that you mentioned to me on traits and that skipped > our radar? > > Stef > > >
