Merge pull request #6573 from dharezlak:patch-1
authorMaksim Shabunin <maksim.shabunin@itseez.com>
Tue, 24 May 2016 15:28:27 +0000 (15:28 +0000)
committerMaksim Shabunin <maksim.shabunin@itseez.com>
Tue, 24 May 2016 15:28:27 +0000 (15:28 +0000)

Trivial merge