Re: [Pharo-dev] Coral is green

[Stephan Eggermont]

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