From aa935aefd2a01e792a397a28a915f0e029aeaed6 Mon Sep 17 00:00:00 2001
From: Dominic Schlegel <dominic.schlegel@hostpoint.ch>
Date: Mon, 25 Nov 2019 13:38:00 -0700
Subject: lp-to-git-users: adding do3meli

Mapped from d-info-e
---
 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 e418d7fd..4140942f 100644
--- a/tools/.lp-to-git-user
+++ b/tools/.lp-to-git-user
@@ -1,5 +1,6 @@
 {
  "chad.smith": "blackboxsw",
+ "d-info-e": "do3meli",
  "harald-jensas": "hjensas",
  "i.galic": "igalic",
  "larsks": "larsks",
-- 
cgit v1.2.3