Summary of changes: a9400cf... 4.9.4 (*) e3f7313... drop, it's already included in 4.9.4 (*) db2f71f... Merge branch 'f18' into f17 (*) This commit already existed in another branch; no separate mail sent