Commit ee4953f89e8b6505bdd7899795b2b7d2395ad4d5

Nick Mathewson 2009-12-29T16:03:30

Fix the code that allowed DNS options to not end with : We tried to fix this in 0.2.0.3-alpha, but our fix was buggy.