From: Jörg Behrmann Date: Mon, 2 Oct 2023 07:44:15 +0000 (+0200) Subject: Merge pull request #1941 from DaanDeMeyer/include X-Git-Tag: v18~22 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d597ac1e0194e6488e5c0988be92737abd0bdf4d;p=thirdparty%2Fmkosi.git Merge pull request #1941 from DaanDeMeyer/include Add Include= setting --- d597ac1e0194e6488e5c0988be92737abd0bdf4d