0000000000000000000000000000000000000000 26a6705733ebc25442661844f7ed75993bc41576 Carlo Bellettini <carlo.bellettini@unimi.it> 1478686835 +0100	commit (initial): Initial commit
26a6705733ebc25442661844f7ed75993bc41576 c5432eace10adb79346171eb5f134eaa54994a50 Carlo Bellettini <carlo.bellettini@unimi.it> 1478687665 +0100	merge release/v1: Merge made by the 'recursive' strategy.
