Repository navigation
Widgets: let a floating card grow to fit its content (opt-in) - #989
Open
juanlentino wants to merge 4 commits into
Open
juanlentino wants to merge 4 commits into
juanlentino wants to merge 4 commits into
Commits
Commits on Oct 11, 2026
Commits on Oct 12, 2026