Revoke Michael Dexter's commit bit

Approved by:	doceng (core)

2 files changed, 0 insertions, 2 deletions

diff --git a/access b/access
index 9c759dcdfa..76fdce5ec7 100644
--- a/access
+++ b/access
@@ -32,7 +32,6 @@ crees
 danger
 delphij
 des
-dexter
 dru
 eadler
 ebrandi
diff --git a/mentors b/mentors
index a33b58733e..9dd6145f51 100644
--- a/mentors
+++ b/mentors
@@ -11,7 +11,6 @@
 
 # Mentee	Mentor		Optional comment
 anne		gjb
-dexter		bcr
 ebrandi		gabor
 gnn		remko		co-mentor: gjb
 skreuzer	hrs