Summary of changes: e02177a... 4.7.1-6 (*) b9d0acf... 4.7.1-7 (*) 1d285b5... 4.7.1-7 (*) 8181de5... 4.7.1-8 (*) ed30c6b... 4.7.1-8 (*) b5e6324... 4.7.1-8 (*) 5d9509e... 4.7.2-1 (*) (*) This commit already existed in another branch; no separate mail sent