The issue of the British Overseas Territory of Gibraltar, attached to the Spanish mainland, was left out of the last-minute Brexit deal reached between London and Brussels on 24 December. A separate agreement on Gibraltar’s status has yet to be concluded.