Merge pull request #14447 from catree:fix_issue_14423
authorAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 27 May 2019 15:00:20 +0000 (15:00 +0000)
committerAlexander Alekhin <alexander.a.alekhin@gmail.com>
Mon, 27 May 2019 15:00:21 +0000 (15:00 +0000)

Trivial merge