{"comment":{"url":"https://api.github.com/repos/JacquesCarette/Drasil/comments/29114515","html_url":"https://github.com/JacquesCarette/Drasil/commit/0b73e234c6c14b76cf8197607821ac7cb4b12512#commitcomment-29114515","id":29114515,"user":{"login":"JacquesCarette","id":1855141,"avatar_url":"https://avatars2.githubusercontent.com/u/1855141?v=4","gravatar_id":"","url":"https://api.github.com/users/JacquesCarette","html_url":"https://github.com/JacquesCarette","followers_url":"https://api.github.com/users/JacquesCarette/followers","following_url":"https://api.github.com/users/JacquesCarette/following{/other_user}","gists_url":"https://api.github.com/users/JacquesCarette/gists{/gist_id}","starred_url":"https://api.github.com/users/JacquesCarette/starred{/owner}{/repo}","subscriptions_url":"https://api.github.com/users/JacquesCarette/subscriptions","organizations_url":"https://api.github.com/users/JacquesCarette/orgs","repos_url":"https://api.github.com/users/JacquesCarette/repos","events_url":"https://api.github.com/users/JacquesCarette/events{/privacy}","received_events_url":"https://api.github.com/users/JacquesCarette/received_events","type":"User","site_admin":false},"position":null,"line":null,"path":null,"commit_id":"0b73e234c6c14b76cf8197607821ac7cb4b12512","created_at":"2018-05-24T14:15:00Z","updated_at":"2018-05-24T14:15:00Z","author_association":"OWNER","body":"So this is exactly the kind of change I talked about on Tuesday: it became necessary because of the work you were doing (removeAcroDD), but is otherwise independent from it, i.e. would be a useful improvement regardless.  So rather than mixing them, it would make sense to do the split into `BasicExpr` in a separate branch (synchronized with master) that you can offer up as a PR earlier. Then you can merge it in to `removeAcroDD` as well."}}
{"actor":{"display_login":"JacquesCarette"}}