Summary of changes: f21832d... up to 1.2.4.95rc1 release branch (*) a1b0306... up to RC2 (1.2.4.95rc2) (*) 4654784... up to 1.2.5 8c56ea3... Merge branch 'dev-1.2.5' (*) This commit already existed in another branch; no separate mail sent