Summary of changes: 87ca3e6... 1.12.3 (*) 779d141... change boolean expression (*) f2fbb55... Merge remote-tracking branch 'origin/master' into f18 (*) This commit already existed in another branch; no separate mail sent