[Pharo-dev] 1500 pull requests closed

Hi, As of today, we closed 1500 pull requests: https://github.com/pharo-project/pharo/pulls <https://github.com/pharo-project/pharo/pulls> These of course range from trivialities to merging sub-systems with hundreds of commits… Marcus