PR Preview failed to build. (Last tried on Mar 21, 2020, 10:43 PM UTC).
More
PR Preview relies on a number of web services to run. There seems to be an issue with the following one:
:rotating_light: [HTML Diff Service](http://services.w3.org/htmldiff) - The HTML Diff Service is used to create HTML diffs of the spec changes suggested in a pull request.
:link: [Related URL](https://services.w3.org/htmldiff?doc1=https%3A%2F%2Fpr-preview.s3.amazonaws.com%2Fw3c%2Fgeolocation-sensor%2Fpull%2F42%2F6718f61.html&doc2=https%3A%2F%2Fpr-preview.s3.amazonaws.com%2Fautokagami%2Fgeolocation-sensor%2Fpull%2F42.html)
```
500 Internal Server Error
Internal Server Error
The server encountered an internal error or
misconfiguration and was unable to complete
your request.
Please contact the server administrator at
sysreq@w3.org to inform them of the time this error occurred,
and the actions you performed just before this error.
More information about this error may be available
in the server error log.
```
_If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please [file an issue](https://github.com/tobie/pr-preview/issues/new?title=Error%20not%20surfaced%20properly&body=See%20w3c/geolocation-sensor%2342.)._
This is an automated pull request to align the spec with the latest Web IDL specification.
Currently the autofix might introduce some awkward code formatting, so please feel free to modify the formatting.
Please file an issue on https://github.com/saschanaz/webidl-updater/issues/new if you think this PR is invalid or should be enhanced.
:boom: Error: 500 Internal Server Error :boom:
PR Preview failed to build. (Last tried on Mar 21, 2020, 10:43 PM UTC).
More
PR Preview relies on a number of web services to run. There seems to be an issue with the following one: :rotating_light: [HTML Diff Service](http://services.w3.org/htmldiff) - The HTML Diff Service is used to create HTML diffs of the spec changes suggested in a pull request. :link: [Related URL](https://services.w3.org/htmldiff?doc1=https%3A%2F%2Fpr-preview.s3.amazonaws.com%2Fw3c%2Fgeolocation-sensor%2Fpull%2F42%2F6718f61.html&doc2=https%3A%2F%2Fpr-preview.s3.amazonaws.com%2Fautokagami%2Fgeolocation-sensor%2Fpull%2F42.html) ```Internal Server Error
The server encountered an internal error or misconfiguration and was unable to complete your request.
Please contact the server administrator at sysreq@w3.org to inform them of the time this error occurred, and the actions you performed just before this error.
More information about this error may be available in the server error log.
``` _If you don't have enough information above to solve the error by yourself (or to understand to which web service the error is related to, if any), please [file an issue](https://github.com/tobie/pr-preview/issues/new?title=Error%20not%20surfaced%20properly&body=See%20w3c/geolocation-sensor%2342.)._