{"action":"created","issue":{"url":"https://api.github.com/repos/JasonGross/coq-tools/issues/23","repository_url":"https://api.github.com/repos/JasonGross/coq-tools","labels_url":"https://api.github.com/repos/JasonGross/coq-tools/issues/23/labels{/name}","comments_url":"https://api.github.com/repos/JasonGross/coq-tools/issues/23/comments","events_url":"https://api.github.com/repos/JasonGross/coq-tools/issues/23/events","html_url":"https://github.com/JasonGross/coq-tools/pull/23","id":130730358,"number":23,"title":"fix printing regexp with newlines to the user","user":{"login":"RalfJung","id":330628,"avatar_url":"https://avatars.githubusercontent.com/u/330628?v=3","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2016-02-02T16:11:33Z","updated_at":"2016-02-02T19:19:36Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/JasonGross/coq-tools/pulls/23","html_url":"https://github.com/JasonGross/coq-tools/pull/23","diff_url":"https://github.com/JasonGross/coq-tools/pull/23.diff","patch_url":"https://github.com/JasonGross/coq-tools/pull/23.patch"},"body":"Fixes #22 \r\n\r\nThe trouble was that the code actually emitted `\\` followed by a newline, in an attempt to make sure that the newline is properly escaped. Make the output function deal with that."},"comment":{"url":"https://api.github.com/repos/JasonGross/coq-tools/issues/comments/178768318","html_url":"https://github.com/JasonGross/coq-tools/pull/23#issuecomment-178768318","issue_url":"https://api.github.com/repos/JasonGross/coq-tools/issues/23","id":178768318,"user":{"login":"RalfJung","id":330628,"avatar_url":"https://avatars.githubusercontent.com/u/330628?v=3","gravatar_id":"","url":"https://api.github.com/users/RalfJung","html_url":"https://github.com/RalfJung","followers_url":"https://api.github.com/users/RalfJung/followers","following_url":"https://api.github.com/users/RalfJung/following{/other_user}","gists_url":"https://api.github.com/users/RalfJung/gists{/gist_id}","starred_url":"https://api.github.com/users/RalfJung/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/RalfJung/subscriptions","organizations_url":"https://api.github.com/users/RalfJung/orgs","repos_url":"https://api.github.com/users/RalfJung/repos","events_url":"https://api.github.com/users/RalfJung/events{/privacy}","received_events_url":"https://api.github.com/users/RalfJung/received_events","type":"User","site_admin":false},"created_at":"2016-02-02T19:19:36Z","updated_at":"2016-02-02T19:19:36Z","body":"I pushed a fix. (At least, `yes | examples/run-example-12.sh` now exits with code 0 here.)"}}