Skip to content

Revert to fix false positive reachability warnings#14103

Merged
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:fix-case-seq-match-vector
Dec 14, 2021
Merged

Revert to fix false positive reachability warnings#14103
dwijnand merged 1 commit intoscala:masterfrom
dwijnand:fix-case-seq-match-vector

Commits

Commits on Dec 13, 2021