Commit e50ba5b61bbc5bb06112758d9e22c2f2cb6b65bc

Nick Mathewson 2010-11-19T12:37:49

Fix a bug that could allow dns requests with duplicate tx ids Spotted by Marko Kreen