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.

Sign up for GitHub

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

Jump to bottom

Update Herumi BLS Library #8377

Merged
merged 4 commits into from Feb 1, 2021
Merged

Update Herumi BLS Library #8377

merged 4 commits into from Feb 1, 2021

Conversation

nisdas
Copy link
Member

@nisdas nisdas commented Feb 1, 2021

What type of PR is this?

Bug Fix

What does this PR do? Why is it needed?

  • Update Herumi BLS library

Which issues(s) does this PR fix?

N.A

Other notes for review

@nisdas nisdas requested review from prestonvanloon and a team as code owners February 1, 2021 16:59
@nisdas nisdas added the Ready For Review A pull request ready for code review label Feb 1, 2021
@prylabs-bulldozer prylabs-bulldozer bot merged commit c6e9620 into develop Feb 1, 2021
@delete-merged-branch delete-merged-branch bot deleted the updateHerumi branch February 1, 2021 18:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@rauljordan rauljordan rauljordan approved these changes

@prestonvanloon prestonvanloon prestonvanloon approved these changes

@shayzluf shayzluf Awaiting requested review from shayzluf

@0xKiwi 0xKiwi Awaiting requested review from 0xKiwi

Assignees
No one assigned
Labels
Ready For Review A pull request ready for code review
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@nisdas @rauljordan @prestonvanloon