Closed skleff1994 closed 1 month ago
This PR fixes a bug due to an old boost version
@MaximilienNaveau I'd be ok merging, but looks like I do not have the rights. Or should @skleff1994 do it ?
This PR fixes a bug due to an old boost version