tree 03bd81cb143599873aaedd4dcfe0dbd3988a0036
parent 57163f676ecd279ccf38b3d38be663573017b064
parent d37d8d1c0edfb95a88eb86e486f0fb1196196249
author Diggory Hardy <dhardy@users.noreply.github.com> 1521817089 +0000
committer GitHub <noreply@github.com> 1521817089 +0000

Merge pull request #327 from pitdicker/rand_core_rename

Rename rand-core to rand_core