Release of version 1.2.0.
Release of version 1.1.2.
Release of version 1.1.1.
Pinocchio version 1.1.0
Release of version 1.0.1.
Release of version 1.0.0