From dd38f7d9cbffc7d9fc3b3a7aea387af9fad50fed Mon Sep 17 00:00:00 2001
From: Griatch <griatch@gmail.com>
Date: Thu, 19 Oct 2023 21:14:47 +0200
Subject: [PATCH] Remove spurious large build files from git history, shrinking
 repo size