Chris c5e8cb25ca simplify things (#7735)

2017-10-30 11:57:24 -05:00

..

platform

simplify things (#7735)

2017-10-30 11:57:24 -05:00