]> git.proxmox.com Git - mirror_xterm.js.git/commitdiff
Merge pull request #533 from vincentwoo/patch-2
authorParis Kasidiaris <pariskasidiaris@gmail.com>
Wed, 8 Feb 2017 23:46:00 +0000 (01:46 +0200)
committerGitHub <noreply@github.com>
Wed, 8 Feb 2017 23:46:00 +0000 (01:46 +0200)
Fix missing Number.isNaN in IE


Trivial merge