tree 426de40937efdb779bdb2e991976cf6966cf2c02
parent 0b272e0e69ac5691bfdd1776b78d42a4e30f9039
author Davide Pesavento <davidepesa@gmail.com> 1695515622 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1695515622 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: Ia1014604d6933ca0042cecbaa25e8df2e7e2356c