Summary of changes: f95fdac... 4.7.80 (*) fbfc57e... 4.7.90 (*) ca512ff... 4.7.95 (*) fd54c42... whitespace (*) 75ac289... 4.7.97 (*) 1e3d970... 4.8.0 (*) 5f3039e... 4.8.1 (*) (*) This commit already existed in another branch; no separate mail sent