Crucially, the agreement ensures the border between Gibraltar and Spain remains open, avoiding chaos for the 15,000 Spanish workers who cross into the Rock each day. Without the deal, those workers would have been forced to get their passports stamped on entry and exit, using up their allowance of visa-free days and risking major disruption at the frontier.
