Fix Menu anchor reduce padding on web and desktop (Material, by @huycozy).
This item comes from the official release notes, which list pull-request titles. Boring Doc shows the title and classifies it heuristically; open the pull request for the full description.
- Who is affected
- Applications that hit the described bug. No code change is normally required.
- Practical impact
- Behaviour corrected; verify any workarounds you added can be removed.
- What action should I take?
- No action required. If you shipped a workaround, consider removing it after upgrading.
Official release note·Likely classification (70%)
PR title describes a bug fix.
An official announcement or migration guide documents an intended behaviour or API change. A verified source change (git diff) shows code changed but does not by itself prove a public API is breaking. AI interpretations are labelled and never used to classify a change.
- Source commit
- b3045439b7c0
- Source last updated
- Oct 21, 2026
- Last synchronized
- Oct 21, 2026
- Publication status
- published
Publication history
- Oct 21, 2026, 8:31 PM: new → published (ingestion) — Passed validation with sufficient classification confidence.
AI explanationAI-generated · grounded in cited sources
AI explanations are not configured
Set
AI_PROVIDER (for example to openai-compatible with a local Ollama or LM Studio endpoint) to enable grounded explanations. Everything else on this page works without an AI provider.Was this useful?