Backport changes from the tower of hanoi workshops#2
Open
pogliamarci wants to merge 2 commits intonecst:masterfrom
pogliamarci:changes-from-toh-workshop
Open
Backport changes from the tower of hanoi workshops#2pogliamarci wants to merge 2 commits intonecst:masterfrom pogliamarci:changes-from-toh-workshop
pogliamarci wants to merge 2 commits intonecst:masterfrom
pogliamarci:changes-from-toh-workshop