From 99927551ca833c513851648940f406efdf5c7ef1 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Thu, 28 Nov 2019 16:42:53 +0100
Subject: [PATCH] obfuscate mail address

---
 CONTRIBUTING.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index aaea5064073..5c3a674ee5a 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -85,7 +85,7 @@ The detailed steps to submit a contribution to Frama-C are:
 12. If needed (i.e. you didn't already do that and your contribution is
     not trivial in the sense of [this document](TCA.md)), please don't forget
     to fill and sign the [Contributor Licence Agreement](CLA.pdf) and send us
-    the signed version at [cla@frama-c.com](mailto:cla@frama-c.com).
+    the signed version at `cla AT frama-c DOT com`
 
 For convenience, we recall the typical `git` commands to be used through these steps:
 ```shell
-- 
GitLab