tree dd157ccca2b1e2384435d9d970680caa8ff4b052
parent 550d8c99abad6e0f37ebddc64dc3e45f3a1d381c
author Davide Pesavento <davidepesa@gmail.com> 1699591201 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1699656043 -0500

Avoid deprecated Boost.Asio interfaces

Change-Id: I00d285893ff61619f49dff8a8a55d0d0e2c309a7