From: Daan De Meyer Date: Tue, 25 Mar 2025 15:01:11 +0000 (+0100) Subject: Merge pull request #3616 from DaanDeMeyer/sandbox X-Git-Tag: v26~302 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a8dcd437dcd5c75d01bb98896d3cf9846c53bbd5;p=thirdparty%2Fmkosi.git Merge pull request #3616 from DaanDeMeyer/sandbox Make sure tools tree recorded in history doesn't change when in sandbox --- a8dcd437dcd5c75d01bb98896d3cf9846c53bbd5