Skip to content
Snippets Groups Projects
Unverified Commit 1203e137 authored by teor's avatar teor
Browse files

Merge commit '763fd0ad' into maint-0.4.0 

tor-github/pr/1174, but with the last commit re-worded to remove
the fixup, because fixups break our push rules.
parents a52a5e00 763fd0ad
Branches
Tags
No related merge requests found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment