milkypostman/melpa — pull request #2053 by gaudecker (2014-09-30 09:14:58+00:00)
Title: Updated repo for mip-mode.

My username has changed.