{"action":"created","issue":{"url":"https://api.github.com/repos/gap-system/gap/issues/648","repository_url":"https://api.github.com/repos/gap-system/gap","labels_url":"https://api.github.com/repos/gap-system/gap/issues/648/labels{/name}","comments_url":"https://api.github.com/repos/gap-system/gap/issues/648/comments","events_url":"https://api.github.com/repos/gap-system/gap/issues/648/events","html_url":"https://github.com/gap-system/gap/pull/648","id":137304461,"number":648,"title":"More than 3 minor corrections that should make the 4.8.3 release","user":{"login":"hulpke","id":7890800,"avatar_url":"https://avatars.githubusercontent.com/u/7890800?v=3","gravatar_id":"","url":"https://api.github.com/users/hulpke","html_url":"https://github.com/hulpke","followers_url":"https://api.github.com/users/hulpke/followers","following_url":"https://api.github.com/users/hulpke/following{/other_user}","gists_url":"https://api.github.com/users/hulpke/gists{/gist_id}","starred_url":"https://api.github.com/users/hulpke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hulpke/subscriptions","organizations_url":"https://api.github.com/users/hulpke/orgs","repos_url":"https://api.github.com/users/hulpke/repos","events_url":"https://api.github.com/users/hulpke/events{/privacy}","received_events_url":"https://api.github.com/users/hulpke/received_events","type":"User","site_admin":false},"labels":[],"state":"open","locked":false,"assignee":null,"milestone":null,"comments":2,"created_at":"2016-02-29T16:40:30Z","updated_at":"2016-03-02T03:11:19Z","closed_at":null,"pull_request":{"url":"https://api.github.com/repos/gap-system/gap/pulls/648","html_url":"https://github.com/gap-system/gap/pull/648","diff_url":"https://github.com/gap-system/gap/pull/648.diff","patch_url":"https://github.com/gap-system/gap/pull/648.patch"},"body":""},"comment":{"url":"https://api.github.com/repos/gap-system/gap/issues/comments/191032839","html_url":"https://github.com/gap-system/gap/pull/648#issuecomment-191032839","issue_url":"https://api.github.com/repos/gap-system/gap/issues/648","id":191032839,"user":{"login":"hulpke","id":7890800,"avatar_url":"https://avatars.githubusercontent.com/u/7890800?v=3","gravatar_id":"","url":"https://api.github.com/users/hulpke","html_url":"https://github.com/hulpke","followers_url":"https://api.github.com/users/hulpke/followers","following_url":"https://api.github.com/users/hulpke/following{/other_user}","gists_url":"https://api.github.com/users/hulpke/gists{/gist_id}","starred_url":"https://api.github.com/users/hulpke/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/hulpke/subscriptions","organizations_url":"https://api.github.com/users/hulpke/orgs","repos_url":"https://api.github.com/users/hulpke/repos","events_url":"https://api.github.com/users/hulpke/events{/privacy}","received_events_url":"https://api.github.com/users/hulpke/received_events","type":"User","site_admin":false},"created_at":"2016-03-02T03:11:19Z","updated_at":"2016-03-02T03:11:19Z","body":"@ChrisJefferson Yes. Alas: c30f7b7 is based on an error report on stackexchange that the author by now deleted -- I cannot recreate it easily.  9068a12 was a wrong result that actually should run into an error or nonterminating loop :-( . fb4b6ae was a big example using other code of mine. 12f146f got caught by existing tests. The two new additions have their own test.\r\n "}}