ci-pharo-ci-jenkins2 wrote > The Pull Request #6525 was integrated Less than 5 hours from Discord question to fix integration - not a bad turnaround ha ha! From PR submission to merge was less than 2 hours :)
----- Cheers, Sean -- Sent from: http://forum.world.st/Pharo-Smalltalk-Developers-f1294837.html
