Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge 93cc036 into merged_master (Elements PR ElementsProject#1248)
All conflicts were resolved by taking the "incoming" changes by using `git checkout --theirs src/secp256k1` during conflict resolution.
- Loading branch information