Skip to content
This repository was archived by the owner on Jul 10, 2023. It is now read-only.

Bump crates, again #17

Merged
merged 1 commit into from
Nov 15, 2015
Merged

Bump crates, again #17

merged 1 commit into from
Nov 15, 2015

Conversation

Manishearth
Copy link
Member

Somehow crates.io already has a 0.1.2, probably was published without a merge

Review on Reviewable

@Ms2ger
Copy link
Contributor

Ms2ger commented Nov 15, 2015

@bors-servo r+

@bors-servo
Copy link

📌 Commit 9d95eca has been approved by Ms2ger

@bors-servo
Copy link

⌛ Testing commit 9d95eca with merge 7a4da4b...

bors-servo pushed a commit that referenced this pull request Nov 15, 2015
Bump crates, again

Somehow crates.io already has a 0.1.2, probably was published without a merge

<!-- Reviewable:start -->
[<img src="https://reviewable.io/review_button.png" height=40 alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/heapsize/17)
<!-- Reviewable:end -->
@bors-servo
Copy link

☀️ Test successful - travis

@bors-servo bors-servo merged commit 9d95eca into master Nov 15, 2015
@Ms2ger Ms2ger deleted the bump branch November 15, 2015 12:48
@Ms2ger
Copy link
Contributor

Ms2ger commented Nov 15, 2015

Published.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants