This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
http://www.w3.org/mid/9768D477C67135458BF978A45BCF9B38214AF1@TK5EX14MBXW604.wingroup.windeplo y.ntdev.microsoft.com
Done: http://dev.w3.org/cvsweb/2006/webapi/WebIDL/Overview.html.diff?r1=1.257;r2=1.258;f=h