tree 969c5c36e187761e95ae6c2b8ff98aecf03ffe18
parent 6f3875fad5a296616e4a0410d8039c19b9c234be
author Diggory Hardy <git@dhardy.name> 1548411040 +0000
committer Diggory Hardy <git@dhardy.name> 1548411040 +0000

Replace rand_core 0.3 with shim around version 0.4

Also disable doctests (see #619)