IE≥ 10 desktop recognized as touch device

Hello!

I like your theme very much! Thank you for your wonderful work!
But there is an issue with IE 10 & 11. These browsers are alway recognized as “touch devices” so they will have alway the mobile menu button instead of the menu bar. i think these JS-lines were not (orer falsly) interpreted by the IE:

/**
* Detect touch device
*/
function is_touch_device() {
	return 'ontouchstart' in window // works on most browsers
		|| 'onmsgesturechange' in window; // works on ie10
};
/**
* Detect touch device
*/
if( is_touch_device() == false ){
	jQuery('body').addClass( 'not-touch-device' );
}

I would be happy about any help!

Thanks in advance!
Thomas