Update renamed dependency#2794

christophfroehlich wants to merge 4 commits intostack-of-tasks:develstack-of-tasks/pinocchio:develfrom

christophfroehlich:patch-1christophfroehlich/pinocchio:patch-1Copy head branch name to clipboard