Closed bshambaugh closed 9 years ago
$ git checkout master $ git checkout -b wip $ git cherry-pick 060e0cf $ git cherry-pick 9a38b52 $ git cherry-pick 80b5787 $ git cherry-pick 94c7dc0 $ git cherry-pick a69761b
I'm closing since it is a duplicate of #883 so we keep the conversation on #883.