fix a weird use of Vector::appendVector()

operator= is way more efficient.

Change-Id: I61c9adb1413bed230801a77151b8f7000fd11471
1 file changed