Skip to content

Conversation

ehuss
Copy link
Contributor

@ehuss ehuss commented Aug 14, 2025

This removes the {{theme_option}} helper which is no longer used (it's use was removed in #1935).

@ehuss ehuss added the Breaking Change This would require a SemVer breaking change label Aug 14, 2025
@rustbot rustbot added the S-waiting-on-review Status: waiting on a review label Aug 14, 2025
@ehuss ehuss enabled auto-merge August 14, 2025 01:07
ehuss added 3 commits August 13, 2025 19:41
I don't remember why I added this comment. The default_theme is
definitely still used.
This helper is no longer used.
@ehuss ehuss force-pushed the remove-theme-option branch from 89179a9 to 9fce4ad Compare August 14, 2025 02:43
@ehuss ehuss added this pull request to the merge queue Aug 14, 2025
Merged via the queue into rust-lang:master with commit 7b3e697 Aug 14, 2025
14 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: waiting on a review label Aug 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Breaking Change This would require a SemVer breaking change
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants