Merge pull request #636 from jcarpent/devel

all: fix additional bug related to recent versions of boost
10 jobs for v2.0.0 in 3 minutes and 36 seconds (queued for 15 minutes and 44 seconds)
latest
Name Stage Failure
failed
robotpkg-py-pinocchio-py3-18.04-release Test
No job log
failed
doc-coverage Test
No job log
failed
robotpkg-pinocchio-16.04-release Test
No job log
failed
robotpkg-pinocchio-18.04-release Test
No job log
failed
robotpkg-py-pinocchio-16.04-release Test
No job log
failed
robotpkg-py-pinocchio-18.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-16.04-release Test
No job log
failed
robotpkg-py-pinocchio-14.04-release Test
No job log
failed
robotpkg-pinocchio-14.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-14.04-release Test
No job log