website: Set mobile and desktop tab sizes#7774
Merged
srenatus merged 1 commit intoopen-policy-agent:mainfrom Jul 15, 2025
Merged
website: Set mobile and desktop tab sizes#7774srenatus merged 1 commit intoopen-policy-agent:mainfrom
srenatus merged 1 commit intoopen-policy-agent:mainfrom
Commits
Commits on Jul 15, 2025
- committed
Charlie Egan