https://pharo.fogbugz.com/default.asp?11674 looks ok for me and I hit the "resolve" button yesterday.

Do you need anything else from my side?

Phil




On Fri, Jan 31, 2014 at 9:06 AM, Marcus Denker <marcus.denker@inria.fr> wrote:
Hi,

As I have integrated some wrong things recently, I would like to only
integrate fixes where at least two other people (then me or the author)
checked that this is a) correct b) not introducing more bugs and c) really for Pharo3
(and not Pharo4).

� � � � https://pharo.fogbugz.com/f/filters/45/Review

� � � � Marcus