Merge pull request #18887 from HollowMan6:patch-1
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 22 Nov 2020 14:40:30 +0000 (14:40 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Sun, 22 Nov 2020 14:40:30 +0000 (14:40 +0000)

Trivial merge