From daca0ad5f081be5cacf35079b1bdc27c2ead0e3e Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Fri, 21 Jun 2019 09:54:45 +0200
Subject: manage miri review permissions: t-compiler and RalfJung

---
 src/permissions.rs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/permissions.rs b/src/permissions.rs
index bd947b2..5901cb8 100644
--- a/src/permissions.rs
+++ b/src/permissions.rs
@@ -139,6 +139,7 @@ permissions! {
         crater,
         crates_io,
         hashbrown,
+        miri,
         libc,
         regex,
         rls,
-- 
cgit v1.2.3