Merge pull request #3466 from mikem8361/armfix
authorMike McLaughlin <mikem@microsoft.com>
Wed, 2 Mar 2016 21:01:08 +0000 (13:01 -0800)
committerMike McLaughlin <mikem@microsoft.com>
Wed, 2 Mar 2016 21:01:08 +0000 (13:01 -0800)
Fixes issue #3453 ARM build break.


Trivial merge