Closed traversaro closed 2 years ago
Fix for https://github.com/robotology/robotology-superbuild/issues/1125#issuecomment-1132748932 .
I do not think I will receive a review on Friday evening, anyhow this is to fix a failing CI job, so I think people of future generations will not judge me if I merge without a review.
Fix for https://github.com/robotology/robotology-superbuild/issues/1125#issuecomment-1132748932 .