Launcher 0.7.2

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