From 32a59fdecb437ee507d273a7ea8b99845e455801 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 28 Nov 2019 11:10:10 +0100
Subject: [PATCH] [CONTRIBUTING] refer to CLA.pdf

---
 CONTRIBUTING.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 656215081aa..aaea5064073 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -83,9 +83,9 @@ The detailed steps to submit a contribution to Frama-C are:
   name.
 
 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 sign the [Contributor Licence Agreement](CLA.md) and us the signed
-    version).
+    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).
 
 For convenience, we recall the typical `git` commands to be used through these steps:
 ```shell
-- 
GitLab