From e18a0e6005aa9d029508cb206c448c292a97c763 Mon Sep 17 00:00:00 2001
From: chrchr-github <78114321+chrchr-github@users.noreply.github.com>
Date: Thu, 24 Apr 2025 20:17:54 +0200
Subject: [PATCH] AUTHORS: add Pieter Duchi [skip ci]

---
 AUTHORS | 1 +
 1 file changed, 1 insertion(+)

diff --git a/AUTHORS b/AUTHORS
index 65758bc21d2..0ddeae8b645 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -312,6 +312,7 @@ Peter Schops
 Philip Chimento
 Philipp Kloke
 Pierre Schweitzer
+Pieter Duchi
 Pino Toscano
 Pranav Khanna
 Radek Jarecki