From 3b27d5319d219a7f90aa86725407931dc077dec2 Mon Sep 17 00:00:00 2001 From: Robert Schweikert Date: Tue, 7 Jan 2020 16:41:40 -0500 Subject: lp-to-git-users: adding rjschwei (#158) Mapped from rjschwei --- 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 79b43d0a..4a687596 100644 --- a/tools/.lp-to-git-user +++ b/tools/.lp-to-git-user @@ -19,6 +19,7 @@ "pengpengs": "PengpengSun", "powersj": "powersj", "raharper": "raharper", + "rjschwei": "rjschwei", "tribaal": "chrisglass", "trstringer": "trstringer", "xiaofengw": "xiaofengw-vmware" -- cgit v1.2.3