From 29f0d136e24826a9b1c2c541755c64c4e51d5847 Mon Sep 17 00:00:00 2001
From: Markus Schade <markus.schade@gmail.com>
Date: Wed, 28 Oct 2020 14:12:07 +0100
Subject: lp-to-git-users: adding asciiprod (#629)

Mapped from lp-markusschade
---
 tools/.lp-to-git-user | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 89422dbb..21171ac6 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -19,6 +19,7 @@
  "larsks": "larsks",
  "legovini": "paride",
  "louis": "karibou",
+ "lp-markusschade": "asciiprod",
  "madhuri-rai07": "madhuri-rai07",
  "momousta": "Moustafa-Moustafa",
  "otubo": "otubo",
@@ -30,4 +31,4 @@
  "trstringer": "trstringer",
  "vtqanh": "anhvoms",
  "xiaofengw": "xiaofengw-vmware"
-}
\ No newline at end of file
+}
-- 
cgit v1.2.3