micropython/micropython — pull request #735 by dhylands (2014-06-30 15:08:36+00:00)
Title: Add timer_deinit and call it just before doing a soft-restart

This fixes #733.