Summary of changes: 17bee58... Updated to upstream version 1.5 (*) f993b88... minor bug fixes (*) 48a8801... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent