Merge pull request #526 from stack-of-tasks/devel

Merge devel into master
14 jobs for v1.3.1 in 376 minutes and 42 seconds (queued for 7 seconds)
latest
Name Stage Failure
failed
robotpkg-py-pinocchio-py3-16.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-18.04-release Test
No job log
failed
robotpkg-py-pinocchio-py3-14.04-release Test
No job log