Skip to content

Conversation

@chrisdavidmills
Copy link
Contributor

Description

This PR adds a couple of changes that I had meant to make as part of #41950, but forgot to push before merging ;-\

Motivation

Additional details

Related issues and pull requests

@chrisdavidmills chrisdavidmills requested a review from a team as a code owner November 18, 2025 08:13
@chrisdavidmills chrisdavidmills requested review from dipikabh and removed request for a team November 18, 2025 08:13
@github-actions github-actions bot added Content:Other Any docs not covered by another "Content:" label Content:Glossary Glossary entries size/xs [PR only] 0-5 LoC changed labels Nov 18, 2025
@github-actions
Copy link
Contributor

Copy link
Contributor

@dipikabh dipikabh left a comment

Choose a reason for hiding this comment

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

Thank you

@dipikabh dipikabh merged commit a73b189 into mdn:main Nov 18, 2025
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Content:Glossary Glossary entries Content:Other Any docs not covered by another "Content:" label size/xs [PR only] 0-5 LoC changed

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants