Re: [dxwg] Issue 644 (#734)

@nicholascar @rob-metalinkage @kcoyle the discussion on PROF examples yesterday and on #745 makes me realize that we may block something useful if this PR is not merged. In that case it can be merged, but by all means it shouldn't mean that the corresponding issues can be closed now!
(even though I still think that #644 could be closed, and that splitting this PR would have been ideal...)

GitHub Notification of comment by aisaac
Please view or discuss this issue at using your GitHub account

Received on Wednesday, 20 February 2019 13:52:36 UTC