From: Thomas Glanzmann <thomas@glanzmann.de>
Date: Tue, 8 Feb 2022 09:24:58 +0000 (+0100)
Subject: rename the debian installer
X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/m1-debian/commitdiff_plain/e744bd6b1e053a3ad80a79176fecc1a335177cb6?hp=e744bd6b1e053a3ad80a79176fecc1a335177cb6

rename the debian installer
---