Skip to content

Conversation

dabacon
Copy link
Collaborator

@dabacon dabacon commented Jul 29, 2020

No description provided.

@dabacon dabacon requested review from balopat and viathor July 29, 2020 16:19
@googlebot googlebot added the cla: yes Makes googlebot stop complaining. label Jul 29, 2020
Copy link
Contributor

@balopat balopat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for fixing!!

@balopat balopat added the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label Jul 29, 2020
@CirqBot CirqBot added the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label Jul 29, 2020
@CirqBot CirqBot merged commit cf27230 into master Jul 29, 2020
@CirqBot CirqBot removed the automerge Tells CirqBot to sync and merge this PR. (If it's running.) label Jul 29, 2020
@CirqBot CirqBot deleted the gatesign branch July 29, 2020 17:25
@CirqBot CirqBot removed the front_of_queue_automerge CirqBot uses this label to indicate (and remember) what's being merged next. label Jul 29, 2020
tonybruguier pushed a commit to tonybruguier/Cirq that referenced this pull request Aug 23, 2020
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.

4 participants