From:  Brian Slesinsky <skybrian@google.com>
Date:  18 Apr 2014 10:59:22 Hong Kong Time
Newsgroup:  news.mozilla.org/mozilla.dev.js-sourcemap
Subject:  

Re: IE11 F12 developer tool for source maps

NNTP-Posting-Host:  63.245.216.66

Thanks for looking.

The code path that GWT uses to install JavaScript is pretty convoluted, but
as far as i can tell, it doesn't actually delete the