From 7801bd092d38ab18c3bcd5e83714f64de524383c Mon Sep 17 00:00:00 2001
From: andreaf74 <53090017+andreaf74@users.noreply.github.com>
Date: Tue, 7 Jan 2020 18:52:22 +0100
Subject: lp-to-git-users: adding andreaf74 (#157)

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

(limited to 'tools')

diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 042d919e..79b43d0a 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -1,5 +1,6 @@
 {
  "adobrawy": "ad-m",
+ "afranceschini": "andreaf74",
  "ahosmanmsft": "AOhassan",
  "andreipoltavchenko": "pa-yourserveradmin-com",
  "askon": "ask0n",
-- 
cgit v1.2.3