Skip to content

Allow dropping dyn principal#131857

Merged
bors merged 2 commits intorust-lang:masterfrom
WaffleLapkin:dyn-drop-principal-3
Oct 18, 2024

Commits

Commits on Oct 17, 2024