Skip to content
Merged

Fix warning about unused Permissions#13938
bors merged 1 commit intorust-lang:masterfrom ehuss:permissions-warning

Fix warning about unused Permissions#13938

Merged
bors merged 1 commit intorust-lang:masterfrom ehuss:permissions-warningMay 20, 2024

Commits

Unable to load page.

The page is unavailable due to a system error.

Try reloading the page, or if the problem persists, contact support.

GitHub status