Skip to content

Rename invariant::Valid to invariant::Safe - #2913

Closed
jswrenn wants to merge 1 commit into
mainfrom
G0f139a4a1ea20e62488df402468293623a806667
Closed

Rename invariant::Valid to invariant::Safe#2913
jswrenn wants to merge 1 commit into
mainfrom
G0f139a4a1ea20e62488df402468293623a806667

Rename `invariant::Valid` to `invariant::Safe`

2cf6e37
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar