From 2a14b496e2b5f21561e4cd31816f4691e37235a2 Mon Sep 17 00:00:00 2001
From: Guido Vranken <guidovranken@users.noreply.github.com>
Date: Thu, 14 Nov 2019 16:56:38 +0100
Subject: [PATCH] [bignum-fuzzer] Add Richard of OpenSSL (#3034)

---
 projects/bignum-fuzzer/project.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/projects/bignum-fuzzer/project.yaml b/projects/bignum-fuzzer/project.yaml
index d7c26bfb2..92e47f7e3 100644
--- a/projects/bignum-fuzzer/project.yaml
+++ b/projects/bignum-fuzzer/project.yaml
@@ -13,3 +13,4 @@ auto_ccs:
     - "svaldez@google.com"
     - "support-mbedtls@arm.com"
     - "libmpdec@gmail.com"
+    - "richard@levitte.org"