Skip to content

DO NOT MERGE some random test#185

Closed
hannesm wants to merge 3 commits intomirage:mirage-devfrom
hannesm:use_random
Closed

DO NOT MERGE some random test#185
hannesm wants to merge 3 commits intomirage:mirage-devfrom
hannesm:use_random

Conversation

@hannesm
Copy link
Copy Markdown
Member

@hannesm hannesm commented Oct 2, 2016

merge #184 instead, this is only for testing

@hannesm hannesm closed this Oct 2, 2016
@hannesm hannesm deleted the use_random branch October 2, 2016 13:37
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