Skip to content

Conversation

@rkirsling
Copy link
Member

Fixes #998.

@rkirsling rkirsling force-pushed the eliminate-emu-normative-optional-element branch from 5bd87a1 to e9759ad Compare April 25, 2025 04:35
@rkirsling rkirsling changed the title Markup: Eliminate usage of <emu-normative-optional>. Markup: Eliminate usage of <emu-normative-optional> Apr 25, 2025
@gibson042 gibson042 merged commit 3a3508c into tc39:main Apr 28, 2025
2 checks passed
@rkirsling rkirsling deleted the eliminate-emu-normative-optional-element branch April 29, 2025 03:34
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.

Markup: replace <emu-normative-optional> tags with normative-optional attribute

3 participants