Merge pull request #15176 from dkurt:fix_14993
authorMaksim Shabunin <maksim.shabunin@gmail.com>
Tue, 30 Jul 2019 14:26:33 +0000 (14:26 +0000)
committerMaksim Shabunin <maksim.shabunin@gmail.com>
Tue, 30 Jul 2019 14:26:33 +0000 (14:26 +0000)

Trivial merge