Merge pull request #11173 from alalek:issue_11172
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 27 Mar 2018 15:01:25 +0000 (18:01 +0300)
committerGitHub <noreply@github.com>
Tue, 27 Mar 2018 15:01:25 +0000 (18:01 +0300)

Trivial merge