micropython/micropython — pull request #571 by dhylands (2014-05-05 17:59:35+00:00)
Title: Change references (in comments) of pyb.GPIO to be pyb.Pin

The documentation at http://micropython.org/doc/module/pyb/ExtInt should also be
updated.