pde/https-everywhere — pull request #9 by diracdeltas (2013-12-03 20:08:32+00:00)
Title: Add Mozilla keyservers (#9643)

Closes https://trac.torproject.org/projects/tor/ticket/9643