Merge pull request #17377 from jtojnar:patch-1
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 26 May 2020 09:52:13 +0000 (09:52 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 26 May 2020 09:52:13 +0000 (09:52 +0000)

Trivial merge