tree a44a7e587484dfc3d44144b0968065ced6abd92d
parent e72722940080a120e6a592682f0ebd7be1debe80
author Davide Pesavento <davidepesa@gmail.com> 1649623321 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1649652308 -0400

name: add append() overload that takes a span

Refs: #5186
Change-Id: I5fa8ac6c5da82424ac0566d0a21f72b75082af2f