Version 0.7.2, Actually document the changes from yesterday and today

Each push to master gets a version!