Summary of changes:
1f6cf3a... Update to 4.1.4 (*)
4c0b8d4... Update to 4.1.5 (*)
f0f6b51... Update to 4.1.5 (*)
bb9fdfb... Update to 4.1.6 (*)
0b9d60b... Update to 4.2.2 (*)
f7264cd... Update to 4.2.3 (*)
33b5f03... Update to 4.2.4 (*)
b87c16a... Merge branch 'master' into f41
(*) This commit already existed in another branch; no separate mail sent