{"action":"created","issue":{"url":"https://api.github.com/repos/regb/scala-smtlib/issues/13","labels_url":"https://api.github.com/repos/regb/scala-smtlib/issues/13/labels{/name}","comments_url":"https://api.github.com/repos/regb/scala-smtlib/issues/13/comments","events_url":"https://api.github.com/repos/regb/scala-smtlib/issues/13/events","html_url":"https://github.com/regb/scala-smtlib/pull/13","id":104032190,"number":13,"title":"Make sure we print symbolic symbols safely","user":{"login":"manoskouk","id":4265132,"avatar_url":"https://avatars.githubusercontent.com/u/4265132?v=3","gravatar_id":"","url":"https://api.github.com/users/manoskouk","html_url":"https://github.com/manoskouk","followers_url":"https://api.github.com/users/manoskouk/followers","following_url":"https://api.github.com/users/manoskouk/following{/other_user}","gists_url":"https://api.github.com/users/manoskouk/gists{/gist_id}","starred_url":"https://api.github.com/users/manoskouk/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/manoskouk/subscriptions","organizations_url":"https://api.github.com/users/manoskouk/orgs","repos_url":"https://api.github.com/users/manoskouk/repos","events_url":"https://api.github.com/users/manoskouk/events{/privacy}","received_events_url":"https://api.github.com/users/manoskouk/received_events","type":"User","site_admin":false},"labels":[],"state":"closed","locked":false,"assignee":null,"milestone":null,"comments":3,"created_at":"2015-08-31T11:07:13Z","updated_at":"2015-08-31T16:33:51Z","closed_at":"2015-08-31T16:33:51Z","pull_request":{"url":"https://api.github.com/repos/regb/scala-smtlib/pulls/13","html_url":"https://github.com/regb/scala-smtlib/pull/13","diff_url":"https://github.com/regb/scala-smtlib/pull/13.diff","patch_url":"https://github.com/regb/scala-smtlib/pull/13.patch"},"body":"Symbolic symbols (i.e. containing characters not acceptable in SMTLIB symbols, such as ':') should be printed inside |...|"},"comment":{"url":"https://api.github.com/repos/regb/scala-smtlib/issues/comments/136422855","html_url":"https://github.com/regb/scala-smtlib/pull/13#issuecomment-136422855","issue_url":"https://api.github.com/repos/regb/scala-smtlib/issues/13","id":136422855,"user":{"login":"regb","id":510039,"avatar_url":"https://avatars.githubusercontent.com/u/510039?v=3","gravatar_id":"","url":"https://api.github.com/users/regb","html_url":"https://github.com/regb","followers_url":"https://api.github.com/users/regb/followers","following_url":"https://api.github.com/users/regb/following{/other_user}","gists_url":"https://api.github.com/users/regb/gists{/gist_id}","starred_url":"https://api.github.com/users/regb/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/regb/subscriptions","organizations_url":"https://api.github.com/users/regb/orgs","repos_url":"https://api.github.com/users/regb/repos","events_url":"https://api.github.com/users/regb/events{/privacy}","received_events_url":"https://api.github.com/users/regb/received_events","type":"User","site_admin":false},"created_at":"2015-08-31T16:33:51Z","updated_at":"2015-08-31T16:33:51Z","body":"looks great, thanks"}}