From: Dominik Kaiser <141638109+dpu-kaiser@users.noreply.github.com>
Date: Mon, 10 Jun 2024 14:40:28 +0000 (+0200)
Subject: Merge map-checker into master
X-Git-Url: https://git.dkaiser.de/?a=commitdiff_plain;p=42%2Fso_long.git

Merge map-checker into master

Map checker
---

568827dc74eb4e2a7719d7cfbd48083facf85cc3