stable-release-Jul--8-20-52-51-CEST-2015
3baa478f · change version number to 0.8 ·