Skip to content
This repository was archived by the owner on Dec 11, 2019. It is now read-only.

Updated hashes #14145

Merged
merged 1 commit into from
May 16, 2018
Merged

Updated hashes #14145

merged 1 commit into from
May 16, 2018

Conversation

jumde
Copy link
Contributor

@jumde jumde commented May 16, 2018

Fixes: #14095

@jumde jumde requested a review from diracdeltas May 16, 2018 01:21
@riastradh-brave riastradh-brave mentioned this pull request May 16, 2018
Merged
13 tasks
diracdeltas
diracdeltas approved these changes May 16, 2018
View reviewed changes
Copy link
Member

@diracdeltas diracdeltas left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

verified on mac

@diracdeltas diracdeltas merged commit 41d487c into tor/0.23.x May 16, 2018
@diracdeltas diracdeltas deleted the updated_tor_binaries branch May 16, 2018 17:50
@diracdeltas diracdeltas mentioned this pull request May 16, 2018
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@diracdeltas diracdeltas diracdeltas approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@jumde @diracdeltas