Summary of changes: fdf527d... 4.7.1 (*) ab26d0a... +changelog (*) 3d0868f... 4.7.2 for real (boy I botched it) (*) (*) This commit already existed in another branch; no separate mail sent