{"comment":{"url":"https://api.github.com/repos/kframework/k/comments/15225973","html_url":"https://github.com/kframework/k/commit/8f84683e7c215d16eec33b8b83c451035e95c2a0#commitcomment-15225973","id":15225973,"user":{"login":"daejunpark","id":5491770,"avatar_url":"https://avatars.githubusercontent.com/u/5491770?v=3","gravatar_id":"","url":"https://api.github.com/users/daejunpark","html_url":"https://github.com/daejunpark","followers_url":"https://api.github.com/users/daejunpark/followers","following_url":"https://api.github.com/users/daejunpark/following{/other_user}","gists_url":"https://api.github.com/users/daejunpark/gists{/gist_id}","starred_url":"https://api.github.com/users/daejunpark/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/daejunpark/subscriptions","organizations_url":"https://api.github.com/users/daejunpark/orgs","repos_url":"https://api.github.com/users/daejunpark/repos","events_url":"https://api.github.com/users/daejunpark/events{/privacy}","received_events_url":"https://api.github.com/users/daejunpark/received_events","type":"User","site_admin":false},"position":37,"line":321,"path":"kernel/src/main/java/org/kframework/kore/compile/SortCells.java","commit_id":"8f84683e7c215d16eec33b8b83c451035e95c2a0","created_at":"2016-01-01T08:23:27Z","updated_at":"2016-01-01T08:23:27Z","body":"@bmmoore Is it ok to drop the warning? See #1945"}}