Johan 't Hart f4d47d7140 Fix grow size during Array<>::append ...

When the resulting array must grow during append, one must make sure
that the new elements _plus_ the current elements fit the new array
size.

2014-06-16 11:44:24 +02:00

55 KiB

Raw Blame History

View Raw