summaryrefslogtreecommitdiff
path: root/tools
diff options
context:
space:
mode:
Diffstat (limited to 'tools')
-rw-r--r--tools/.lp-to-git-user3
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/.lp-to-git-user b/tools/.lp-to-git-user
index 6b20d360..cfcc7549 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -13,6 +13,7 @@
"goneri": "goneri",
"harald-jensas": "hjensas",
"i.galic": "igalic",
+ "kgarloff": "garloff",
"larsks": "larsks",
"legovini": "paride",
"louis": "karibou",
@@ -25,4 +26,4 @@
"tribaal": "chrisglass",
"trstringer": "trstringer",
"xiaofengw": "xiaofengw-vmware"
-} \ No newline at end of file
+}