Re: [Pharo-dev] [Bug]13088-Deleting class that is used in pool dictionaries leaves a "private" class pool entry