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