Summary of changes: 4417ccf... Ver. 1.4.1 (fully API/ABI compatible bugfix release) (*) ea4530a... Merge branch 'master' into f13/master (*) This commit already existed in another branch; no separate mail sent