Summary of changes: d887c2a... Update to latest HEAD. (*) ab130cc... Update to latest HEAD. (*) ed7649a... Update to latest HEAD. (*) cd529ae... Update to latest HEAD. (*) (*) This commit already existed in another branch; no separate mail sent