Summary of changes: a3b19a9... Update 0.9.4-1 (*) ac2cda3... Update 0.9.4-1 (*) 1035b66... Update 0.9.4-2 (*) 7c98427... sources (*) deddbee... merge with f15 (*) 432858e... update .gitignore (*) (*) This commit already existed in another branch; no separate mail sent