Merge proposals

mozjs102 in Ubuntu has no merge proposals.