Skip to content

Exhaustiveness: remove Matrix.wildcard_row#119667

Merged
bors merged 2 commits intorust-lang:masterfrom
Nadrieril:remove-wildcard-row
Jan 7, 2024
Merged

Exhaustiveness: remove `Matrix.wildcard_row`#119667
bors merged 2 commits intorust-lang:masterfrom
Nadrieril:remove-wildcard-row

Commits

Commits on Jan 6, 2024