Summary of changes: aac476f... Ver. 2.8.4 (*) f4743b9... dist-git conversion (*) 8357eb9... Ver. 2.8.5 (bugfix release) (*) dfc9269... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent