From 5963aa549494e6512a03382c6ee589e15537632c Mon Sep 17 00:00:00 2001
From: Diggory Hardy <git@dhardy.name>
Date: Thu, 4 Apr 2019 10:49:34 +0100
Subject: [PATCH] HACK: use getrandom from master

This is for CI testing only
---
 Cargo.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Cargo.toml b/Cargo.toml
index c79dffede56..006234f2138 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -82,3 +82,4 @@ all-features = true
 
 [patch.crates-io]
 rand_core = { path = "rand_core", version = "0.4" }
+getrandom = { git = "https://github.com/rust-random/getrandom.git" }