github/Shimmer — pull request #193 by shiftkey (2013-10-05 13:22:34+00:00)
Title: disable the repair button in the add/remove dialog

Resolves #153