tree 9395fff5314263b658766b95f7f8cd5a790e1de6
parent 5d64263dcb423f0019b51600df96f18185c1d6c0
author Davide Pesavento <davidepesa@gmail.com> 1696470002 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1696470002 -0400

core+face: avoid deprecated Boost.Asio interfaces

Change-Id: I07ec286531edf63f258babe1561b4da2a88edd10