Skip to content

Add dfn-id to algorithms - #432

Merged
yoavweiss merged 1 commit into
w3c:mainfrom
shubhamg13:dfn-ids
Apr 20, 2026
Merged

Add dfn-id to algorithms#432
yoavweiss merged 1 commit into
w3c:mainfrom
shubhamg13:dfn-ids

Conversation

@shubhamg13

@shubhamg13 shubhamg13 commented Apr 20, 2026 •
edited by pr-preview Bot
Loading

Copy link
Copy Markdown
Contributor

This makes easy to refer to definitions and refer to definitions

Preview | Diff
@shubhamg13
Add dfn-id to algorithms
7ffe7c5 
Signed-off-by: Shubham Gupta <shubham.gupta@chromium.org>
@w3cbot

w3cbot commented Apr 20, 2026

Copy link
Copy Markdown

shubhamg13 marked as non substantive for IPR from ash-nazg.
yoavweiss
yoavweiss approved these changes Apr 20, 2026
View reviewed changes

@yoavweiss yoavweiss left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

LGTM. Thanks for fixing these links back to their pre-bikeshed form
@yoavweiss
yoavweiss merged commit 316a047 into w3c:main Apr 20, 2026
2 checks passed
github-actions Bot added a commit that referenced this pull request Apr 20, 2026
@shubhamg13 @github-actions
Add dfn-id to algorithms (#432)
48073ff 
SHA: 316a047
Reason: push, by yoavweiss

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
@shubhamg13
shubhamg13 deleted the dfn-ids branch April 20, 2026 14:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

3 participants

@shubhamg13 @w3cbot @yoavweiss