Merge proposals

ninja-ide in Ubuntu has no merge proposals.