pyjs/pyjs — pull request #794 by camilledalmeras (2013-05-11 17:38:44+00:00)
Title: Updated user-agent sniffing for IE10 support

Maybe someone more knowledgeable than I am should take a look at library/pyjamas/DOM.ie6.py to check if it needs updating as well, as there is some logic pertaining to IE9 that may also apply to IE10 in this file.