tree 5c42c57dacfc9693ee84282ab122831b026f27e6
parent 05ec0be21bcf7f42b5841dead27e895543736ba3
author Davide Pesavento <davidepesa@gmail.com> 1678852502 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1678852502 -0400

util: remove obsolete backport of std::to_string

Change-Id: Ib2ba051b84032b227ce75f41e242af20b4a43c3c