Skip to content

Add ignoreMediaFeatureNameValues to media-feature-name-value-no-unknown#8956

Closed
kovsu wants to merge 2 commits into
stylelint:v17from
kovsu:fix-#8112
Closed

Add ignoreMediaFeatureNameValues to media-feature-name-value-no-unknown#8956
kovsu wants to merge 2 commits into
stylelint:v17from
kovsu:fix-#8112

Conversation

@kovsu

@kovsu kovsu commented Jan 7, 2026

Copy link
Copy Markdown
Contributor

Which issue, if any, is this issue related to?

Closes #8112

Is there anything in the PR that needs further explanation?

No

@changeset-bot

changeset-bot Bot commented Jan 7, 2026

Copy link
Copy Markdown

🦋 Changeset detected

Latest commit: fcfa4a9

The changes in this PR will be included in the next version bump.

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

@jeddy3 jeddy3 deleted the branch stylelint:v17 January 15, 2026 10:10
@jeddy3 jeddy3 closed this Jan 15, 2026
@jeddy3

jeddy3 commented Jan 15, 2026

Copy link
Copy Markdown
Member

@kovsu It seems GitHub automatically closed this PR when v17 was merged into main. Can you recreate it using main as the base, please?

(As an aside, thank you for your recent contributions and patience in waiting to see your efforts get released! We just released 17.0.0, and we'll be returning to a more normal release cadence now.)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants