Skip to content
This repository has been archived by the owner on Nov 12, 2022. It is now read-only.

Remove unsafe_no_drop_flag #298

Merged
merged 1 commit into from
Aug 28, 2016
Merged

Remove unsafe_no_drop_flag #298

merged 1 commit into from
Aug 28, 2016

Conversation

nox
Copy link
Contributor

@nox nox commented Aug 26, 2016

This change is Reviewable

@nox nox changed the title Remove unsafe_no_drop_flag (Do not merge) Remove unsafe_no_drop_flag Aug 26, 2016
@metajack
Copy link
Contributor

r=me when it's ready to merge

@nox nox changed the title (Do not merge) Remove unsafe_no_drop_flag Remove unsafe_no_drop_flag Aug 26, 2016
@nox
Copy link
Contributor Author

nox commented Aug 26, 2016

@bors-servo r=metajack

@bors-servo
Copy link
Contributor

📌 Commit 2a0f52a has been approved by metajack

@bors-servo
Copy link
Contributor

⌛ Testing commit 2a0f52a with merge 5c306dc...

bors-servo pushed a commit that referenced this pull request Aug 26, 2016
Remove unsafe_no_drop_flag

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/rust-mozjs/298)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

💔 Test failed - status-appveyor

@nox
Copy link
Contributor Author

nox commented Aug 26, 2016

Needs rust-lang/rust#36008.

@nox
Copy link
Contributor Author

nox commented Aug 28, 2016

@bors-servo try

@bors-servo
Copy link
Contributor

⌛ Trying commit 91ca789 with merge f4ea182...

bors-servo pushed a commit that referenced this pull request Aug 28, 2016
Remove unsafe_no_drop_flag

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/rust-mozjs/298)
<!-- Reviewable:end -->
@nox
Copy link
Contributor Author

nox commented Aug 28, 2016

@bors-servo try

@bors-servo
Copy link
Contributor

⌛ Trying commit 36e0d09 with merge 16bd6cb...

bors-servo pushed a commit that referenced this pull request Aug 28, 2016
Remove unsafe_no_drop_flag

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/rust-mozjs/298)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

☀️ Test successful - status-appveyor, status-travis

@nox
Copy link
Contributor Author

nox commented Aug 28, 2016

@bors-servo r+

@bors-servo
Copy link
Contributor

📌 Commit 36e0d09 has been approved by nox

@nox
Copy link
Contributor Author

nox commented Aug 28, 2016

@bors-servo retry force

@nox
Copy link
Contributor Author

nox commented Aug 28, 2016

@bors-servo r=metajack

@bors-servo
Copy link
Contributor

📌 Commit 049537f has been approved by metajack

@bors-servo
Copy link
Contributor

⌛ Testing commit 049537f with merge f06428f...

bors-servo pushed a commit that referenced this pull request Aug 28, 2016
Remove unsafe_no_drop_flag

<!-- Reviewable:start -->
This change is [<img src="https://reviewable.io/review_button.svg" height="34" align="absmiddle" alt="Reviewable"/>](https://reviewable.io/reviews/servo/rust-mozjs/298)
<!-- Reviewable:end -->
@bors-servo
Copy link
Contributor

☀️ Test successful - status-appveyor, status-travis

@bors-servo bors-servo merged commit 049537f into master Aug 28, 2016
@bors-servo bors-servo mentioned this pull request Aug 28, 2016
@emilio emilio deleted the no-no-drop-flag branch August 29, 2016 05:06
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