Merge pull request #17294 from alalek:issue_17247
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 16 May 2020 18:49:22 +0000 (18:49 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sat, 16 May 2020 18:49:22 +0000 (18:49 +0000)

Trivial merge