Merge pull request #19114 from alalek:issue_18937
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 15 Dec 2020 20:47:05 +0000 (20:47 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 15 Dec 2020 20:47:05 +0000 (20:47 +0000)

Trivial merge