Summary of changes: 9b5f4d4... devel release 0.95.5 (*) f21edff... Forgot to upload the source file (*) e5fad6c... 0.95.6 (*) 65fe759... fix merge (*) This commit already existed in another branch; no separate mail sent