From 9808b09d014f5f18c99020cf6faa67665fb5df6e Mon Sep 17 00:00:00 2001
From: Jernej Jakob <jernej.jakob@gmail.com>
Date: Mon, 8 May 2023 14:29:54 +0200
Subject: [PATCH] README.md: update contributors list

---
 README.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md
index 84bf53f..5b80a1a 100644
--- a/README.md
+++ b/README.md
@@ -293,11 +293,12 @@ THERE IS NO WARRANTY FOR THE PROGRAM, TO THE EXTENT PERMITTED BY APPLICABLE LAW.
 
 ## Contributors
 - Jernej Jakob @jjakob
-- @eN0RM
+- Fredrik Normann @eN0Rm
 - Pavel Pulec @pulecp
-- Antonio Prado
-- @afrimberger
-- @mauriziomarini
+- Antonio Prado @Antonio-Prado
+- André Frimberger @afrimberger
+- Maurizio Marini @mauriziomarini
+- Friedrich Lobenstock @lsl-at
 
 *if you are a contributor, add yourself here (and in the code)*