Hi Rob,
done for 7.06
User agent now detects IE10 and the new default for "unknown" versions of IE becomes IE10.
I've also added the ability for custom styles and scripts to be applied to IE10 as distinct from the other versions of IE. (IE is the only browser that we distinguish the version number for, but this makes sense because IE is making ever larger strides towards the web standards, so tends to needing different support for different versions.)
cheers
Bruce