From 894dd7c4fbca019ab2703de860b3d28e2722534b Mon Sep 17 00:00:00 2001
From: Renan Rodrigo <renanrb@ime.usp.br>
Date: Mon, 5 Jul 2021 18:01:10 -0300
Subject: add renanrodrigo as a contributor (#938)

---
 tools/.github-cla-signers | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/.github-cla-signers b/tools/.github-cla-signers
index a7c36a8c..e2979ed4 100644
--- a/tools/.github-cla-signers
+++ b/tools/.github-cla-signers
@@ -44,6 +44,7 @@ olivierlemasle
 omBratteng
 onitake
 qubidt
+renanrodrigo
 riedel
 slyon
 smoser
-- 
cgit v1.2.3