style: restore inline Play label #13

Merged
tom merged 1 commits from style/inline-play-label into main 2026-09-11 22:28:26 +00:00
1 Commits
Author SHA1 Message Date
tom 84ac6ad88a [verified] style: restore inline Play label 2026-09-12 00:28:24 +02:00