[kdevplatform/f18] Previous commit was not necessary

[Jan Grulich]

Summary of changes:

  8446f2f... Previous commit was not necessary (*)

(*) This commit already existed in another branch; no separate mail sent