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.

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

Apply #137 to 0.2 branch #143

Merged
merged 1 commit into from
Apr 28, 2020
Merged

Conversation

josephlr
Copy link
Member

This patch applies #137 to the 0.2 branch, as requested by @newpavlov in #137 (comment)

@josephlr josephlr force-pushed the fixing-webpack-warning branch 2 times, most recently from c1b50f8 to d0777b1 Compare April 27, 2020 07:54
@josephlr josephlr added this to the 0.2 milestone Apr 27, 2020
@josephlr josephlr force-pushed the fixing-webpack-warning branch 3 times, most recently from 4850f43 to 76b61ad Compare April 27, 2020 20:08
@josephlr
Copy link
Member Author

@dhardy @newpavlov this can be merged now (#137 has already been merged). The CI is now passing (it looks like we were hitting GitHub rate limits a little yesterday).

@dhardy dhardy merged commit 8191d7f into rust-random:0.2 Apr 28, 2020
@josephlr josephlr deleted the fixing-webpack-warning branch May 1, 2020 00: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.

3 participants