[Pharo-dev] Fwd: [ci-announces] Memory upgrade on Jenkins servers