May 23, 2014
8:18 p.m.
Ok, I created a pull request on https://github.com/pharo-project/pharo-vm. I guess there should be a way to use the diff directly, instead of editing the file by hand. Stephan