Merge proposals dependent on lp:kdevelop4

lp:kdevelop4 has no merge proposals.