From f1a73f54fab7a0aef8adc67d49a07c5a26f9f875 Mon Sep 17 00:00:00 2001
From: Eric Lafontaine <eric.lafontaine1@gmail.com>
Date: Mon, 2 Dec 2019 15:45:55 -0500
Subject: lp-to-git-users: adding elafontaine (#74)

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