From 0561ac9d7ae4b8707d1ab585d0f04d69938448e2 Mon Sep 17 00:00:00 2001
From: Bernhard Franke-Polz <bernhard@franke-polz.de>
Date: Thu, 1 Dec 2022 10:53:07 +0100
Subject: [PATCH] add bernhard-fp to contributors

---
 Contributors.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Contributors.md b/Contributors.md
index 66cee0f8..46ac625d 100644
--- a/Contributors.md
+++ b/Contributors.md
@@ -880,6 +880,7 @@ Yash Rustogi
 - [Basant Singh Dobal 👨‍💻](https://github.com/basantsd)
 - [Julia Kuchle](https://github.com/JuliaGK)
 - [Marek Wasilczuk](https://github.com/tw-mwasilczuk)
+- [Bernhard Franke-Polz](https://github.com/bernhard-fp)
 <!-- prettier-ignore-end -->
 Ulises Quiñonez
 [Siddharth Thakur]@devsoc pi