eregs/regulations-site — pull request #618 by theresaanna (2014-03-10 20:16:44+00:00)
Title: IE10 does not have window.location.origin

So we are polyfilling it so that URL updates work as expected.