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.

Sign up for GitHub

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

Jump to bottom

Escape special characters in ANLTR strings. (#1600) #1601

Merged
merged 1 commit into from
Feb 18, 2017
Merged

Escape special characters in ANLTR strings. (#1600) #1601

merged 1 commit into from
Feb 18, 2017

Conversation

rhencke
Copy link
Contributor

@rhencke rhencke commented Feb 18, 2017

No description provided.

@jemc
Copy link
Member

jemc commented Feb 18, 2017

Thanks!

1 similar comment
@Praetonus
Copy link
Member

Thanks!

@jemc jemc added the changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge label Feb 18, 2017
@jemc jemc merged commit c92a6ae into ponylang:master Feb 18, 2017
ponylang-main added a commit that referenced this pull request Feb 18, 2017
@ponylang-main
Update CHANGELOG for PR #1601
1c22b20
@jemc
Copy link
Member

jemc commented Feb 18, 2017

Ha, looks like I beat @Praetonus to the merge by a few seconds 🎐

@Praetonus
Copy link
Member

Yes, haha.

@jemc jemc mentioned this pull request Feb 18, 2017
Closed
@rhencke
Copy link
Contributor Author

rhencke commented Feb 19, 2017

@jemc @Praetonus Thank you both!

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
changelog - fixed Automatically add "Fixed" CHANGELOG entry on merge
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@rhencke @jemc @Praetonus