add django-users to ignore-lists

[etc/mailfilter.git] / procmail / rules / gpg

diff --git a/procmail/rules/gpg b/procmail/rules/gpg
index 76f575de310717978873415dcf5a7c54e2954d01..856bea2cea73c3da532b318d6b2765a14801cecb 100644 (file)
--- a/procmail/rules/gpg
+++ b/procmail/rules/gpg
@@ -1,4 +1,7 @@
 :0
 * ^User-Agent: caff
 * ^Subject: Your signed PGP key
-DEST=$BASE/
+{
+  DELAY="$DELAY_TONIGHT"
+  DEST=$BASE/
+}