micropython/micropython — pull request #454 by dhylands (2014-04-08 22:49:25+00:00)
Title: Fix make-pins.py to support having multiple names for a pin.

SW and X17 now both map to PB3