micropython/micropython — pull request #720 by iabdalkader (2014-06-26 22:40:12+00:00)
Title: Change MCU name config micro

#703