jinhai 5c9145aeb7 Merge branch 'branch-0.4.0' into 'branch-0.4.0'
Fix memory double free issue due to random_device

See merge request megasearch/milvus!524

Former-commit-id: 970d947cb84c3317333e7229d1d0c3259623bc71
2019-09-09 20:11:31 +08:00
..
2019-08-31 12:07:48 +08:00
2019-09-09 19:35:32 +08:00