EU agrees “flextension” to the UK’s departure date from the EU to 31 January 2020 (updated 29 October 2019)