Skip to content

Conversation

tannewt
Copy link
Member

@tannewt tannewt commented Aug 10, 2018

Escape table was incorrect

Escape table was incorrect
@tannewt tannewt added the bug label Aug 10, 2018
@tannewt tannewt added this to the 4.0 Alpha milestone Aug 10, 2018
Copy link
Collaborator

@dhalbert dhalbert left a comment

Choose a reason for hiding this comment

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

👍

@dhalbert
Copy link
Collaborator

Travis is not doing well, but one of the Travis builds finished after I restarted a few entries. The other is having a lot of trouble cloning in several subjobs. Since there's one successful set of builds, I'll merge.

@dhalbert dhalbert merged commit 3700bc8 into master Aug 11, 2018
@dhalbert dhalbert deleted the tannewt-patch-3 branch July 19, 2019 14:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants