On 1 Sep 2017, at 16:50, Cyril Ferlicot <cyril.ferlicot@gmail.com> wrote:On Fri, Sep 1, 2017 at 4:46 PM, Nicolai Hess <nicolaihess@gmail.com> wrote:And how do I know if a pull request / change is already included ?I looked at a pull requestand it seems this change is already in my image (a fresh image from 30.08 (Pharo7.0alpha.build.78.sha.35c21c3fac9b557eb38ec569fbbb10 9f2015c71a) The pull request (https://api.github.com/repos/pharo-project/pharo/pulls/231 ) is "open", but I can see the new code already in my image.The diff view tells me, that the methodUITheme>>warningTextColor changes fromwarningTextColor
^ Color yellow muchDarkertowarningTextColor
^ Color yellowBut the method in the image already looks like this:warningTextColor
^ Color yellowThe *old* implementation iswarningTextColor^ Color yellowand the *new* implementation iswarningTextColor^ Color yellow muchDarkerSo, the diff may be inversed. (I did not checked)
--Cyril Ferlicot
https://ferlicot.fr
http://www.synectique.eu
2 rue Jacques Pr��vert 01,
59650 Villeneuve d'ascq France