Summary of changes: 717a1fc... New upstream release 1.2.4 (*) 2261952... Preparing the push of the new 1.2.4 release (*) (*) This commit already existed in another branch; no separate mail sent