{"comment":{"url":"https://api.github.com/repos/alex-ab/genode/comments/10163473","html_url":"https://github.com/alex-ab/genode/commit/d59715df5899ea96c28aba752b25772be7ede2df#commitcomment-10163473","id":10163473,"user":{"login":"chelmuth","id":968883,"avatar_url":"https://avatars.githubusercontent.com/u/968883?v=3","gravatar_id":"","url":"https://api.github.com/users/chelmuth","html_url":"https://github.com/chelmuth","followers_url":"https://api.github.com/users/chelmuth/followers","following_url":"https://api.github.com/users/chelmuth/following{/other_user}","gists_url":"https://api.github.com/users/chelmuth/gists{/gist_id}","starred_url":"https://api.github.com/users/chelmuth/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/chelmuth/subscriptions","organizations_url":"https://api.github.com/users/chelmuth/orgs","repos_url":"https://api.github.com/users/chelmuth/repos","events_url":"https://api.github.com/users/chelmuth/events{/privacy}","received_events_url":"https://api.github.com/users/chelmuth/received_events","type":"User","site_admin":false},"position":9,"line":81,"path":"repos/os/src/server/nitpicker/user_state.cc","commit_id":"d59715df5899ea96c28aba752b25772be7ede2df","created_at":"2015-03-12T13:07:33Z","updated_at":"2015-03-12T13:07:33Z","body":"Okay, we should identify the right place to record this information. What do you think about _input/event.h_?"}}