Whoever leaked did the US and Britain a great favor. Reason to clean house.
They most certainly did not. Whoever did it should be up on a treason charge. Unless of course it was the Russians.