Merge pull request #6564 from jlguardi:ml_load_empty_ptr
authorMaksim Shabunin <maksim.shabunin@itseez.com>
Mon, 23 May 2016 08:41:05 +0000 (08:41 +0000)
committerMaksim Shabunin <maksim.shabunin@itseez.com>
Mon, 23 May 2016 08:41:05 +0000 (08:41 +0000)

Trivial merge