mozilla/rust — pull request #7964 by pnkfelix (2013-07-22 10:30:06+00:00)
Title: Note incompatibility with global-whitespace-mode.

See #3994.