[Pharo-project] [update 1.3] #13320

[Marcus Denker]

13320
-----

Issue 4945:     Weird Settings filtering
        http://code.google.com/p/pharo/issues/detail?id=4945

--
Marcus Denker -- http://marcusdenker.de