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 yellow��