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

adapt prng example to mirage 3.7.7 #290

Merged

hannesm merged 1 commit into mirage:master from hannesm:3.7.7

May 19, 2020

Member

hannesm commented May 18, 2020

No description provided.


          adapt prng example to newer mirage

hannesm force-pushed the 3.7.7 branch from e41ee87 to 6040932 Compare

May 19, 2020 07:47

Member Author

hannesm commented May 19, 2020

merging -- CI failures are the unix test runs, as usual.

hannesm merged commit abc5fe8 into mirage:master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment