Merge proposals

typerep in Ubuntu has no merge proposals.