avoid checkouts
magnum-plugins is on a specific commit
inria_wbc and teleoperation is on devel
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
magnum-plugins is on a specific commit
inria_wbc and teleoperation is on devel