On 3 Dec 2019, at 17:38, Marcus Denker <marcus.denker@inria.fr> wrote:



On 23 Nov 2019, at 19:17, Andrei Chis <chisvasileandrei@gmail.com> wrote:


Both should now be fixed��� (for the second it is more of a workaround, but the
bug reported will not happen anymore, better fix will come���)

I added a new issue tracker entry (with test and a first idea how to fix) for the problem
that categories are out of sync with methods after removing a Trait:

https://github.com/pharo-project/pharo/issues/5300


Marcus