There is no evidence that police leaked information about the whereabouts of a former Sinn Fein member who was unmasked as an informant before he was murdered, a watchdog report has said.
Denis Donaldson was shot dead at a remote cottage in Donegal in April 2006, in a killing claimed by the Real IRA.
Police Ombudsman Marie Anderson found that the PSNI had not sought to implicate members of Mr Donaldson’s family in his murder, and said that rather than impeding the investigation of his murder by the Garda, the PSNI had provided “a high level of co-operation and assistance”.