Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add Mozilla keyservers (#9643) #9

Merged
merged 1 commit into from Dec 3, 2013
Merged

Add Mozilla keyservers (#9643) #9

merged 1 commit into from Dec 3, 2013

Conversation

Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

2 participants
@diracdeltas
Copy link
Contributor

@diracdeltas diracdeltas commented Dec 3, 2013

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

@pde pde merged commit 536992a into pde:master Dec 3, 2013
pde pushed a commit that referenced this issue Jul 22, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment