{"action":"closed","issue":{"url":"https://api.github.com/repos/agda/agda-stdlib/issues/51","labels_url":"https://api.github.com/repos/agda/agda-stdlib/issues/51/labels{/name}","comments_url":"https://api.github.com/repos/agda/agda-stdlib/issues/51/comments","events_url":"https://api.github.com/repos/agda/agda-stdlib/issues/51/events","html_url":"https://github.com/agda/agda-stdlib/issues/51","id":55477191,"number":51,"title":"Missing changelog entry for the properties gfilter-just, gfilter-nothing and gfilter-concatMap","user":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"labels":[{"url":"https://api.github.com/repos/agda/agda-stdlib/labels/task","name":"task","color":"5319e7"}],"state":"closed","locked":false,"assignee":{"login":"andreasabel","id":1155218,"avatar_url":"https://avatars.githubusercontent.com/u/1155218?v=3","gravatar_id":"","url":"https://api.github.com/users/andreasabel","html_url":"https://github.com/andreasabel","followers_url":"https://api.github.com/users/andreasabel/followers","following_url":"https://api.github.com/users/andreasabel/following{/other_user}","gists_url":"https://api.github.com/users/andreasabel/gists{/gist_id}","starred_url":"https://api.github.com/users/andreasabel/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/andreasabel/subscriptions","organizations_url":"https://api.github.com/users/andreasabel/orgs","repos_url":"https://api.github.com/users/andreasabel/repos","events_url":"https://api.github.com/users/andreasabel/events{/privacy}","received_events_url":"https://api.github.com/users/andreasabel/received_events","type":"User","site_admin":false},"milestone":{"url":"https://api.github.com/repos/agda/agda-stdlib/milestones/1","labels_url":"https://api.github.com/repos/agda/agda-stdlib/milestones/1/labels","id":923868,"number":1,"title":"0.10","description":null,"creator":{"login":"asr","id":635804,"avatar_url":"https://avatars.githubusercontent.com/u/635804?v=3","gravatar_id":"","url":"https://api.github.com/users/asr","html_url":"https://github.com/asr","followers_url":"https://api.github.com/users/asr/followers","following_url":"https://api.github.com/users/asr/following{/other_user}","gists_url":"https://api.github.com/users/asr/gists{/gist_id}","starred_url":"https://api.github.com/users/asr/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/asr/subscriptions","organizations_url":"https://api.github.com/users/asr/orgs","repos_url":"https://api.github.com/users/asr/repos","events_url":"https://api.github.com/users/asr/events{/privacy}","received_events_url":"https://api.github.com/users/asr/received_events","type":"User","site_admin":false},"open_issues":0,"closed_issues":6,"state":"open","created_at":"2015-01-06T14:53:44Z","updated_at":"2015-02-04T13:01:00Z","due_on":null,"closed_at":null},"comments":1,"created_at":"2015-01-26T12:32:09Z","updated_at":"2015-02-04T13:01:00Z","closed_at":"2015-02-04T13:01:00Z","body":"What the summary says. These properties were added in https://github.com/agda/agda-stdlib/commit/131e69da1b718d7f9c44c4016f104bc45f89e15f. Please add the missing entry in https://github.com/agda/agda-stdlib/blob/2.4.2.1/CHANGELOG."}}