Merge pull request #15391 from dkurt:fix_15141
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 26 Aug 2019 12:17:21 +0000 (12:17 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 26 Aug 2019 12:17:21 +0000 (12:17 +0000)

Trivial merge