Merge "Revert "fix a weird use of Vector::appendVector()""