From 6aa14766a7039333aac6f75dc442fa58dc4e692f Mon Sep 17 00:00:00 2001 From: Eduardo Otubo Date: Wed, 8 Jan 2020 15:39:52 +0100 Subject: lp-to-git-users: adding otubo (#135) Mapped from otubo --- 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 4a687596..304fbbae 100644 --- a/tools/.lp-to-git-user +++ b/tools/.lp-to-git-user @@ -16,6 +16,7 @@ "legovini": "paride", "louis": "karibou", "madhuri-rai07": "madhuri-rai07", + "otubo": "otubo", "pengpengs": "PengpengSun", "powersj": "powersj", "raharper": "raharper", -- cgit v1.2.3