"Update 0.7.2 added Player nametags and fixed some bugs in Update 0.7.1. It was released for Android and iOS on July 4th, 2013."@en . . . "Update 0.7.2 added Player nametags and fixed some bugs in Update 0.7.1. It was released for Android and iOS on July 4th, 2013."@en . . . . "Update 0.7.2"@en . . . .