Skip to content

Goals: add the restrictions update#1670

Merged
ehuss merged 1 commit intorust-lang:masterfrom
tomassedovic:restrictions-goal-update
Aug 6, 2025
Merged

Goals: add the restrictions update#1670
ehuss merged 1 commit intorust-lang:masterfrom
tomassedovic:restrictions-goal-update

Commits

Commits on Aug 6, 2025