Re: [Pharo-dev] [Pharo 7.0-dev] Build #775: Revert "21429-Watchpoints-should-be-cleaned-when-system-changed"

It is nice how easy a faulty merge can be reverted now…

On 17 Apr 2018, at 13:33, ci-pharo-ci-jenkins2@inria.fr wrote:

There is a new Pharo build available!

The status of the build #775 was: SUCCESS.

The Pull Request #1209 was integrated: "Revert "21429-Watchpoints-should-be-cleaned-when-system-changed"" Pull request url: https://github.com/pharo-project/pharo/pull/1209

Issue Url: https://pharo.fogbugz.com/f/cases/revert Build Url: https://ci.inria.fr/pharo-ci-jenkins2/job/Test%20pending%20pull%20request%20...