{"comment":{"url":"https://api.github.com/repos/ProofGeneral/PG/comments/19956306","html_url":"https://github.com/ProofGeneral/PG/commit/ac4f528a7797ffa2fcc0b46014ec15232bd8807e#commitcomment-19956306","id":19956306,"user":{"login":"hendriktews","id":16718397,"avatar_url":"https://avatars.githubusercontent.com/u/16718397?v=3","gravatar_id":"","url":"https://api.github.com/users/hendriktews","html_url":"https://github.com/hendriktews","followers_url":"https://api.github.com/users/hendriktews/followers","following_url":"https://api.github.com/users/hendriktews/following{/other_user}","gists_url":"https://api.github.com/users/hendriktews/gists{/gist_id}","starred_url":"https://api.github.com/users/hendriktews/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hendriktews/subscriptions","organizations_url":"https://api.github.com/users/hendriktews/orgs","repos_url":"https://api.github.com/users/hendriktews/repos","events_url":"https://api.github.com/users/hendriktews/events{/privacy}","received_events_url":"https://api.github.com/users/hendriktews/received_events","type":"User","site_admin":false},"position":15,"line":110,"path":"coq/coq-system.el","commit_id":"ac4f528a7797ffa2fcc0b46014ec15232bd8807e","created_at":"2016-11-24T18:04:43Z","updated_at":"2016-11-24T18:04:43Z","body":"Yes, just try it by evaluating (coq-autodetect-version) in *scratch*. The doc says: \"If the output is short enough to display in the echo area, it is shown there...\"\r\n"}}
{"actor":{"display_login":"hendriktews"}}