Launcher 0.7.1

0.7.1 was a launcher version released on May 4, 2013. No fixes or modifications to this version were documented.