Merge pull request #17764 from alalek:issue_17762
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Jul 2020 15:27:21 +0000 (15:27 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Thu, 16 Jul 2020 15:27:21 +0000 (15:27 +0000)

Trivial merge