{"comment":{"url":"https://api.github.com/repos/seelabs/rippled/comments/11456463","html_url":"https://github.com/seelabs/rippled/commit/7bcf16128c41e64ec6bdc203e70d32a9e1c70130#commitcomment-11456463","id":11456463,"user":{"login":"seelabs","id":5853458,"avatar_url":"https://avatars.githubusercontent.com/u/5853458?v=3","gravatar_id":"","url":"https://api.github.com/users/seelabs","html_url":"https://github.com/seelabs","followers_url":"https://api.github.com/users/seelabs/followers","following_url":"https://api.github.com/users/seelabs/following{/other_user}","gists_url":"https://api.github.com/users/seelabs/gists{/gist_id}","starred_url":"https://api.github.com/users/seelabs/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/seelabs/subscriptions","organizations_url":"https://api.github.com/users/seelabs/orgs","repos_url":"https://api.github.com/users/seelabs/repos","events_url":"https://api.github.com/users/seelabs/events{/privacy}","received_events_url":"https://api.github.com/users/seelabs/received_events","type":"User","site_admin":false},"position":5,"line":153,"path":"src/ripple/overlay/impl/Manifest.cpp","commit_id":"7bcf16128c41e64ec6bdc203e70d32a9e1c70130","created_at":"2015-06-01T15:20:16Z","updated_at":"2015-06-01T15:20:16Z","body":"@vinniefalco `make_Slice` is nice. Should I: 1) bring in the changes from those hunks and use `make_Slice`? ; 2) Close this PR and re-open it when `make_Slice` is merged to develop? ; 3) Leave as-is?"}}