Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

possible editorial fix of English? #322

Merged
merged 2 commits into from
Feb 14, 2024
Merged

Conversation

himorin
Copy link
Contributor

@himorin himorin commented Jan 5, 2022

possible fix. but I am not sure it is correct English... (updating to 2 units of inter-character spacing between each inter-character of ruby characters is too complicated, so 2 units of spacing at every inter-character of ruby annotation or something?)


馃挜 Error: 504 Gateway Time-out 馃挜

PR Preview failed to build. (Last tried on Jan 6, 2022, 5:58 AM UTC).

More

PR Preview relies on a number of web services to run. There seems to be an issue with the following one:

馃毃 HTML Diff Service - The HTML Diff Service is used to create HTML diffs of the spec changes suggested in a pull request.

馃敆 Related URL

<html><body><h1>504 Gateway Time-out</h1>
The server didn't respond in time.
</body></html>

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.

@xfq
Copy link
Member

xfq commented Jan 6, 2022

It does look like it was a typo. I checked some historical versions and found that the word "adjacent" was used before.

See https://www.w3.org/TR/2009/NOTE-jlreq-20090604/#fig2_3_20-en

@himorin
Copy link
Contributor Author

himorin commented Jan 6, 2022

Thank you for comment @xfq , I totally forgot about checking with previous release..

@kidayasuo kidayasuo added the jlreq-doc:editorial [JLReq-doc] editorial fixes on JLReq note label Feb 6, 2024
Copy link
Contributor

@kidayasuo kidayasuo left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The change is straightforward. Approving.

@himorin himorin merged commit d4107b5 into w3c:gh-pages Feb 14, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
jlreq-doc:editorial [JLReq-doc] editorial fixes on JLReq note
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants