Skip to content

Rename rand-core to rand_core#327

Merged
dhardy merged 1 commit into
rust-random:masterfrom
pitdicker:rand_core_rename
Mar 23, 2018
Merged

Rename rand-core to rand_core#327
dhardy merged 1 commit into
rust-random:masterfrom
pitdicker:rand_core_rename

Rename rand-core to rand_core

68d024a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs