Merge pull request #13507 from alalek:revert_13506
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 22 Dec 2018 07:38:15 +0000 (07:38 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 22 Dec 2018 07:38:15 +0000 (07:38 +0000)

Trivial merge