tree 227bc4d9af686738b27a3faf55427535683109c6
parent 8a0b08022991fce9f5f0510171e08fe803a43ef1
author Jeff Kaufman <jeff@jefftk.com> 1484851681 -0500
committer GitHub <noreply@github.com> 1484851681 -0500

Allow use of "unplugged" without crashing (#1362)

* update mps

* stop crashing when unplugged

* formatting fixes