From b92f669a39bf0488dbc8122a3f40129e3e1964da Mon Sep 17 00:00:00 2001
From: librelois <elois@ifee.fr>
Date: Wed, 1 Nov 2017 17:40:25 +0100
Subject: [PATCH] change rule BR_G93 (link to #1168)

---
 doc/Protocol.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/Protocol.md b/doc/Protocol.md
index 56d549a57..ee06c1e47 100644
--- a/doc/Protocol.md
+++ b/doc/Protocol.md
@@ -2591,7 +2591,7 @@ If `reduce(GLOBAL_CINDEX[issuer=CERT.issuer,receiver=CERT.receiver,created_on=CE
 
 ###### BR_G93 - Membership expiry
 
-For each `REDUCE_BY(GLOBAL_MINDEX[expires_on<=HEAD.medianTime], 'pub') as POTENTIAL` then consider `REDUCE(GLOBAL_MINDEX[pub=POTENTIAL.pub]) AS MS`.
+For each `REDUCE_BY(GLOBAL_MINDEX[expires_on<=HEAD.medianTime AND revokes_on>HEAD.medianTime], 'pub') as POTENTIAL` then consider `REDUCE(GLOBAL_MINDEX[pub=POTENTIAL.pub]) AS MS`.
 
 If `MS.expired_on == null OR MS.expired_on == 0`, add a new LOCAL_MINDEX entry:
 
-- 
GitLab