Summary of changes: db7b50e... rebuild with new gmp (*) 3e50bcf... update to recent upstream release (*) 350f712... update to recent upstream version (*) (*) This commit already existed in another branch; no separate mail sent