summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/permissions.rs1
1 files changed, 1 insertions, 0 deletions
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,