Repository navigation

Replace language buttons with a dropdown - #335

Merged

jserv merged 2 commits into

sysprog21:mainfrom

Ericchenbang:language-dropdown

Oct 21, 2026

Merged

Replace language buttons with a dropdown#335
jserv merged 2 commits into
sysprog21:mainfrom
Ericchenbang:language-dropdown

Commits on Oct 21, 2026
- Replace language buttons with a dropdown
  Ericchenbang
  committed
  901dd72
- Avoid wall-clock waits in caption test
  Ericchenbang
  committed
  592cfaa