Brexit: Boris Johnson will send extension letter – court document

But Number 10 says the UK will still leave on 31 October even if no deal has been agreed with the EU.