micropython/micropython — pull request #712 by deepgully (2014-06-23 06:42:20+00:00)
Title: Merge micropython from offical git 6/23

update