Skip to content

Awards page polish: clean anchors, paper counts, name spacing; retire import_awards#1356

Merged
jonfroehlich merged 2 commits into
masterfrom
awards-followup
Jun 19, 2026
Merged

Awards page polish: clean anchors, paper counts, name spacing; retire import_awards#1356
jonfroehlich merged 2 commits into
masterfrom
awards-followup

Commits

Commits on Jun 19, 2026