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’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[editorial] Drop parentheses around algorithm variables #599

Merged
merged 2 commits into from
Apr 28, 2023

Conversation

antosart
Copy link
Member

@antosart antosart commented Apr 28, 2023

Automatically generated with sed -i 's/(|\([^|]*\)|)/|\1|/g' index.bs, plus a few manual leftovers.

Closes #598.

@antosart antosart requested a review from annevk April 28, 2023 06:20
index.bs Outdated Show resolved Hide resolved
index.bs Outdated Show resolved Hide resolved
@antosart antosart force-pushed the fix-brackets branch 2 times, most recently from f4755b1 to b8d0460 Compare April 28, 2023 08:35
@annevk
Copy link
Member

annevk commented Apr 28, 2023

I suspect there's conflicts with the null PR now.

@antosart
Copy link
Member Author

Yes, sorry, rebased now.

index.bs Outdated Show resolved Hide resolved
Co-authored-by: Anne van Kesteren <annevk@annevk.nl>
@antosart antosart merged commit db65b8e into w3c:main Apr 28, 2023
2 checks passed
@antosart antosart deleted the fix-brackets branch April 28, 2023 11:57
github-actions bot added a commit that referenced this pull request Apr 28, 2023
SHA: db65b8e
Reason: push, by antosart

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Algorithm variables should not be in parenthesis
2 participants