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.

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

dvec should export from_elt #2564

Closed
jesse99 opened this issue Jun 10, 2012 · 2 comments
Closed

dvec should export from_elt #2564

jesse99 opened this issue Jun 10, 2012 · 2 comments
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Milestone
old 1.0 milestone

Comments

@jesse99
Copy link
Contributor

jesse99 commented Jun 10, 2012

Maybe rename it from_elem as well to be more consistent with vec.
@gwillen
Copy link
Contributor

gwillen commented Jul 13, 2012

This was duped in #2792 and is fixed; someone with permissions should close it.

@graydon
Copy link
Contributor

graydon commented Jul 25, 2012

They don't make them much E-easier than this.

@graydon graydon closed this as completed Jul 25, 2012
RalfJung added a commit to RalfJung/rust that referenced this issue Oct 4, 2022
@RalfJung
Auto merge of rust-lang#2564 - RalfJung:no-more-xargo, r=oli-obk
6c77735
This was referenced Oct 22, 2022
Open
Open
Aaron1011 pushed a commit to Aaron1011/rust that referenced this issue Jan 6, 2023
@RalfJung
Auto merge of rust-lang#2564 - RalfJung:no-more-xargo, r=oli-obk
be9771b
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@karkhaz
Install doc dependencies before building (rust-lang#2564)
987c9ce 
This fixes a Graphviz graph not being rendered in the Kani book.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
C-cleanup Category: PRs that clean code up or issues documenting cleanup. E-easy Call for participation: Easy difficulty. Experience needed to fix: Not much. Good first issue.
Projects
None yet
Milestone
old 1.0 milestone
Development

No branches or pull requests
3 participants
@graydon @jesse99 @gwillen