Fix potential buffer overflow in `insert_many`#254

Merged

bors-servo merged 1 commit intoservo:masterfrom

mbrubeck:overflow

Jan 8, 2021

Commits on Jan 8, 2021

Fix potential buffer overflow in `insert_many`
mbrubeck
committed