Skip to content

Document WeightedError#550

Closed
vks wants to merge 1 commit intorust-random:masterfrom
vks:weighted-error-docs
Closed

Document WeightedError#550
vks wants to merge 1 commit intorust-random:masterfrom
vks:weighted-error-docs

Conversation

@vks
Copy link
Contributor

@vks vks commented Jul 12, 2018

No description provided.

@vks vks mentioned this pull request Jul 12, 2018
@sicking
Copy link
Contributor

sicking commented Jul 12, 2018

I actually did this in #548 since that triggered build errors due to these docs being missing.

@dhardy
Copy link
Member

dhardy commented Jul 12, 2018

Yes, I guess we should go with @sicking's version. Sorry @vks, just a little too eager!

@dhardy dhardy closed this Jul 12, 2018
@vks vks deleted the weighted-error-docs branch July 12, 2018 15:34
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