Skip to content

Conversation

henryiii
Copy link
Member

@henryiii henryiii commented Sep 4, 2018

This gives access to the seed, so that more runs can be made.

@henryiii henryiii merged commit fe8e93f into master Oct 2, 2018
@henryiii henryiii deleted the add_seed branch October 2, 2018 12:53
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.

1 participant