tree 6b62ca6fd7e80321f32014f588dde80691e19ab0
parent 915ce80f49a391d1ef41402977f53e384b9f5f2e
author Davide Pesavento <davidepesa@gmail.com> 1695152913 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1695152913 -0400

Eliminate (direct) dependency on libboost_thread

Change-Id: Ifc0a6d36d65d6931f1c746423f7fe82cbb6f5893