tree 05d23922de98211ad6039506476d8bf53f43fabb
parent 52d1326c842a8a3085839d4c46c086baad96b01c
author Davide Pesavento <davidepesa@gmail.com> 1707522965 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1707522965 -0500

Use Name::append() rather than push_back()

Change-Id: Ie2cbc50415e1c485f03902ac74191d1d8c81ce95