Summary of changes: d21a9ea... updated source, bugfixes (*) 702765b... updated source, various bugfixes (*) 84c2714... updated to latest sourcecode (*) 8b65cee... updated spec/source (*) 3118cb6... Merge branch 'master' into f15 (*) This commit already existed in another branch; no separate mail sent