Merge proposals

tipa in Ubuntu has no merge proposals.