This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
Created attachment 1375 [details] patch Jason, would you mind please to check whether it works on the server?
Created attachment 1376 [details] corrected patch
Jason fixed the bug https://github.com/w3c/html-api-map/commit/71590299974a4b84588e092ee96335e1cf2378e8