Summary of changes: b375e63... 0.5.80-2 (*) 1039d9e... 0.5.80-3.gitga29292b (*) 41e4879... Merge branch 'f17' into f18 (*) 884b7f6... 0.5.85-1 dda8093... Merge branch 'f18' into f16 (*) This commit already existed in another branch; no separate mail sent