June 9, 2020
4:57 p.m.
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