From 84fefe6996e4be72f5e43ff54e5bfe0ddf092fd8 Mon Sep 17 00:00:00 2001
From: Mario Zechner <badlogicgames@gmail.com>
Date: Wed, 4 Nov 2026 10:17:02 +0000
Subject: [PATCH] chore: resync PR head