From 117a9b22879f1b4424b5f569ca21f2ac08952b21 Mon Sep 17 00:00:00 2001 From: mkucharski17 Date: Fri, 27 Feb 2026 10:20:40 +0100 Subject: [PATCH] Add LeanCode and contributors to AUTHORS --- AUTHORS | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/AUTHORS b/AUTHORS index cac440cea4a1..253669739d88 100644 --- a/AUTHORS +++ b/AUTHORS @@ -82,3 +82,7 @@ Ricardo Dalarme Andrei Kabylin Ernesto Ramirez Rui Craveiro +LeanCode +Piotr Denert +Marcin Chudy +Paweł Jakubowski