Oct. 31, 2011
9:49 a.m.
13320 ----- Issue 4945: Weird Settings filtering http://code.google.com/p/pharo/issues/detail?id=4945 -- Marcus Denker -- http://marcusdenker.de