Skip to content

Upgrade to rand 0.6#11

Merged
tomusdrw merged 1 commit into
masterfrom
dp/chore/upgrade-rand
Jun 30, 2019
Merged

Upgrade to rand 0.6#11
tomusdrw merged 1 commit into
masterfrom
dp/chore/upgrade-rand

Conversation

@dvdplm
Copy link
Copy Markdown
Contributor

@dvdplm dvdplm commented Jun 30, 2019

No description provided.

@dvdplm dvdplm self-assigned this Jun 30, 2019
@dvdplm dvdplm requested a review from tomusdrw June 30, 2019 07:38
@tomusdrw tomusdrw merged commit 8748bbb into master Jun 30, 2019
dvdplm added a commit that referenced this pull request Jun 30, 2019
@tomusdrw tomusdrw deleted the dp/chore/upgrade-rand branch July 1, 2019 09:27
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