Additional armed gardaí (Irish police) and specialist units are to be deployed in Dublin as part of a €10m (£8.5m) overtime payment from the Irish government for additional policing in the city centre.
It comes after a string of serious attacks in the Irish capital, including an assault which left...