Merge pull request #9709 from savuor:softfloat_r3d
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 26 Sep 2017 11:16:41 +0000 (11:16 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 26 Sep 2017 11:16:42 +0000 (11:16 +0000)

Trivial merge