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.

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

Delete things marked as deprecated-until-v0.7 #2594

Merged
merged 4 commits into from
Nov 23, 2019
Merged

Delete things marked as deprecated-until-v0.7 #2594

merged 4 commits into from
Nov 23, 2019

Conversation

Strilanc
Copy link
Contributor

  • Since we're now v0.7 dev, we can delete these things

- Since we're now v0.7 dev, we can delete these things
@googlebot googlebot added the cla: yes Makes googlebot stop complaining. label Nov 22, 2019
@mpharrigan
Copy link
Collaborator

Can we extend op_gate_of_type for another cycle?

@Strilanc
Copy link
Contributor Author

Can we extend op_gate_of_type for another cycle?

Done.

@Strilanc Strilanc added the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label Nov 23, 2019
@CirqBot CirqBot added the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label Nov 23, 2019
@CirqBot CirqBot merged commit 993fa1e into master Nov 23, 2019
@CirqBot CirqBot deleted the deprecation2 branch November 23, 2019 05:28
@CirqBot CirqBot removed automerge Tells CirqBot to sync and merge this PR. (If it's running.) front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. labels Nov 23, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
cla: yes Makes googlebot stop complaining.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants