gary ebdd31315d Fix Vector::resize to delete old array

2017-12-23 20:35:10 -06:00

..

ox

Fix Vector::resize to delete old array

2017-12-23 20:35:10 -06:00