Merging 2018 version into `master`
I think we can merge !1 (merged) and, subsequently, the may2018
branch into master
. @msmith are you comfortable with that?
I think we can merge !1 (merged) and, subsequently, the may2018
branch into master
. @msmith are you comfortable with that?