Summary of changes: dc8445e... update to latest HEAD (*) 39afdc0... update to latest HEAD (*) 514558a... update to latest HEAD (*) 52af7cb... update to latest HEAD (*) (*) This commit already existed in another branch; no separate mail sent