Merge pull request #14901 from fishjam:issue_8834
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 6 Aug 2019 20:52:21 +0000 (20:52 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Tue, 6 Aug 2019 20:52:21 +0000 (20:52 +0000)

Trivial merge