From: Jörg Behrmann <behrmann@physik.fu-berlin.de>
Date: Tue, 14 May 2024 11:21:56 +0000 (+0200)
Subject: Merge pull request #2708 from DaanDeMeyer/workspace
X-Git-Tag: v23.1~55
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=126170449057cedba93c3c8800fe1e67e253b436;p=thirdparty%2Fmkosi.git

Merge pull request #2708 from DaanDeMeyer/workspace

Two workspace fixes
---

126170449057cedba93c3c8800fe1e67e253b436