Merge pull request #13224 from seiko2plus:core_ppc64le_infa
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 20 Nov 2018 21:26:05 +0000 (21:26 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 20 Nov 2018 21:26:05 +0000 (21:26 +0000)

Trivial merge