Skip to content

Conversation

kellda
Copy link
Contributor

@kellda kellda commented Nov 28, 2020

Fixes #52
r? @pietroalbini

@pietroalbini
Copy link
Member

Thanks!

@pietroalbini pietroalbini merged commit 091c353 into rust-lang:master Nov 30, 2020
@kellda kellda deleted the ignore-quotes branch December 1, 2020 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Ignore commands in quotes
2 participants