Fix "unavailable" tooltip text missing in applicability badges#1752
Merged
theletterf merged 2 commits intomainfrom Aug 20, 2025
Merged
Fix "unavailable" tooltip text missing in applicability badges#1752theletterf merged 2 commits intomainfrom
theletterf merged 2 commits intomainfrom