On Sat 15 Dec 2018 at 15:12, Tudor Girba <tudor@tudorgirba.com> wrote:
Hi,

Where is the PR?

Hi,

https://github.com/pharo-project/pharo/pull/1985

I guess it���s this one.��


Cheers,
Doru



--
Cyril Ferlicot
https://ferlicot.fr