Skip to content

Correct the spelling of "homogeneous" #43401

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 24, 2017
Merged

Correct the spelling of "homogeneous" #43401

merged 1 commit into from
Jul 24, 2017
+23 −23

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Jul 22, 2017

No description provided.

@Mark-Simulacrum
Copy link
Member

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Jul 22, 2017

📌 Commit 5c6ccdc has been approved by Mark-Simulacrum

@Mark-Simulacrum Mark-Simulacrum self-assigned this Jul 22, 2017
@carols10cents carols10cents added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Jul 24, 2017
Mark-Simulacrum added a commit to Mark-Simulacrum/rust that referenced this pull request Jul 24, 2017
@Mark-Simulacrum
Rollup merge of rust-lang#43401 - cuviper:homogeneous, r=Mark-Simulacrum
bf5d661 
Correct the spelling of "homogeneous"

None
@Mark-Simulacrum Mark-Simulacrum mentioned this pull request Jul 24, 2017
Merged
bors added a commit that referenced this pull request Jul 24, 2017
@bors
Auto merge of #43454 - Mark-Simulacrum:rollup, r=Mark-Simulacrum
598eddf 
Rollup of 11 pull requests

- Successful merges: #43297, #43322, #43342, #43361, #43366, #43374, #43379, #43401, #43421, #43428, #43446
- Failed merges:
@bors bors merged commit 5c6ccdc into rust-lang:master Jul 24, 2017
@cuviper cuviper deleted the homogeneous branch September 26, 2017 06:40
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees

@Mark-Simulacrum Mark-Simulacrum

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@cuviper @Mark-Simulacrum @bors @carols10cents