Skip to content

Note that raw strings are not context-free#171

Merged
bors[bot] merged 1 commit intoron-rs:masterfrom
torkleyy:grs
Jun 6, 2019
Merged

Note that raw strings are not context-free#171
bors[bot] merged 1 commit intoron-rs:masterfrom
torkleyy:grs

Conversation

@torkleyy
Copy link
Copy Markdown
Member

@torkleyy torkleyy commented Jun 6, 2019

Fixes #167

@torkleyy
Copy link
Copy Markdown
Member Author

torkleyy commented Jun 6, 2019

bors r+

@torkleyy torkleyy mentioned this pull request Jun 6, 2019
Closed
@torkleyy
Copy link
Copy Markdown
Member Author

torkleyy commented Jun 6, 2019

bors ping

@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Jun 6, 2019

pong

@torkleyy
Copy link
Copy Markdown
Member Author

torkleyy commented Jun 6, 2019

bors r+

bors Bot added a commit that referenced this pull request Jun 6, 2019
@bors @torkleyy
Merge #171
7ce4b55 
171: Note that raw strings are not context-free r=torkleyy a=torkleyy

Fixes #167

Co-authored-by: Thomas Schaller <torkleyy@gmail.com>
@bors
Copy link
Copy Markdown
Contributor

bors Bot commented Jun 6, 2019

Build succeeded

@bors bors Bot merged commit 2b0bfeb into ron-rs:master Jun 6, 2019
@torkleyy torkleyy deleted the grs branch June 6, 2019 15:19
@CAD97 CAD97 mentioned this pull request May 1, 2020
Closed
@Gankra Gankra mentioned this pull request Mar 25, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

raw strings in rust are context-sensitive

1 participant

@torkleyy