Issue #193: IE10 problem -> Sometime the callback from jquery (location onhashchange is not called)