Feb. 3, 2018
2:02 a.m.
Pavel Krivanek-3 wrote
the pull request was against the issue branch, not the development one, so the merging of it had no real effect
Oops, he he thanks. ----- Cheers, Sean -- Sent from: http://forum.world.st/Pharo-Smalltalk-Users-f1310670.html