tree 44189ee749cb48ea675109b8dd60ad45cd5065eb
parent 813ae5831b6ba9b783b19dcdf0b75a106c915b81
author Davide Pesavento <davidepesa@gmail.com> 1577039737 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1577053035 -0500

tests: avoid deprecated boost headers

Change-Id: I05aa8d5fd22843415db09478f7b53f1810b38db3