Merge proposals

typeshed in Ubuntu has no merge proposals.