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