Skip to content

Conversation

SimonSapin
Copy link
Contributor

No description provided.

bors added a commit that referenced this pull request Dec 14, 2014
gedit language spec: add new-style Unicode escapes

Reviewed-by: alexcrichton
brson added a commit to brson/rust that referenced this pull request Dec 15, 2014
@bors bors merged commit 0c60115 into rust-lang:master Dec 15, 2014
@SimonSapin SimonSapin deleted the gedit-new-unicode-escape branch December 16, 2014 09:52
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.

4 participants