Commit b33e018cab1faf95208556cb54ae16b6c7449552

Edward Thomson 2021-03-04T09:20:34

Merge pull request #5818 from mamapanda/patch-3 merge: Check insert_head_ids error in create_virtual_base