jquery/jquery — pull request #1828 by jamesgpearce (2014-11-01 18:18:38+00:00)
Title: Replace spurious whitespace character with space

Either I'm just being OCD, or this is causing problems with a gradual typing tool we're working on :)