From a6d6bf978df971f3353ce617cbfe5bcdf57d2fe8 Mon Sep 17 00:00:00 2001 From: Lars Kellogg-Stedman Date: Tue, 12 Nov 2019 13:35:04 -0700 Subject: lp-to-git-users: adding larsks Mapped from larsks --- 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 04c7a9eb..65e4d631 100644 --- a/tools/.lp-to-git-user +++ b/tools/.lp-to-git-user @@ -1,5 +1,6 @@ { "chad.smith": "blackboxsw", + "larsks": "larsks", "legovini": "paride", "powersj": "powersj", "raharper": "raharper" -- cgit v1.2.3