Well that discussion is pretty crazy and very polarized.

JSMin guy thinks fixing it is stupid, and the bootstrap guy says that since it works in browsers it should work in JSMin.

So they've reached an impasse. Unfortunately emotions and strong words were used right away which polarizes the conversation.

Being completely pragmatic about it, it seems that bootstrap should probably change, instead of JSMin. But I don't think either will so both sides lose, and potentially make their tools available to a smaller audience.