Skip to content

Remove RNG traits#291

Merged
bors[bot] merged 1 commit into
rust-embedded:masterfrom
eldruin:remove-rng
Jul 9, 2021
Merged

Remove RNG traits#291
bors[bot] merged 1 commit into
rust-embedded:masterfrom
eldruin:remove-rng

Remove RNG traits

fb76c49
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs