Skip to content

Conversation

Arachnid
Copy link
Contributor

Due to the copyright assignment, only @vbuterin may review and merge this PR.

@Arachnid Arachnid requested a review from vbuterin March 25, 2018 16:57
@vbuterin vbuterin merged commit 5f92749 into vbuterin-patch-2 Mar 27, 2018
@Arachnid Arachnid deleted the vbuterin-patch-2-patch branch March 27, 2018 14:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants