update pinocchio

6 jobs for devel in 116 minutes and 45 seconds (queued for 5 seconds)