tree 583b6b19f4daa5e52cafb186c2a4b8ed02b1a502
parent 910232fce0fcabdab9597af23083851c6b8c4d3f
author Davide Pesavento <davidepesa@gmail.com> 1696299045 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1696300922 -0400

build: require boost >= 1.71.0

Refs: #5276
Change-Id: Ie428541639dcf1113acfb9e9d0a80f9be87d6cd3