From 81a8f0a60557a8cdac7a675354a49edd16e2b5a3 Mon Sep 17 00:00:00 2001 From: Vlastimil Holer Date: Mon, 4 Oct 2021 17:40:43 +0200 Subject: lp-to-git-users: adding vholer (#1044) Mapped from vlastimil-holer --- tools/.lp-to-git-user | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user index 69329cb9..9b09d568 100644 --- a/tools/.lp-to-git-user +++ b/tools/.lp-to-git-user @@ -30,6 +30,7 @@ "rjschwei": "rjschwei", "tribaal": "chrisglass", "trstringer": "trstringer", + "vlastimil-holer": "vholer", "vtqanh": "anhvoms", "xiaofengw": "xiaofengw-vmware" } -- cgit v1.2.3