From 098073de8865a479afa770833dd7a28d1233d294 Mon Sep 17 00:00:00 2001
From: Madhuri Kumari <madhuri.rai07@gmail.com>
Date: Tue, 7 Jan 2020 21:54:32 +0530
Subject: lp-to-git-users: adding madhuri-rai07 (#156)

Mapped from madhuri-rai07
---
 tools/.lp-to-git-user | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index d450ce6e..042d919e 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -14,6 +14,7 @@
  "larsks": "larsks",
  "legovini": "paride",
  "louis": "karibou",
+ "madhuri-rai07": "madhuri-rai07",
  "pengpengs": "PengpengSun",
  "powersj": "powersj",
  "raharper": "raharper",
-- 
cgit v1.2.3