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)
commitc393a7a98fb252e0af08ba305c8ae6ee07806464
tree2529d1396bb53f5b4d544f3dd514e684406d7178
parent5c54360fb9670151b3f835a194a09484d3262979
parenta8129894369023d0e9367c6474929224aec06d7c
Merge pull request #6564 from jlguardi:ml_load_empty_ptr