Launcher 0.7.2

0.7.2 was a launcher version released on May 15, 2013.

Changes

 * Unknown