From: Daan De Meyer Date: Thu, 14 Mar 2024 08:35:20 +0000 (+0100) Subject: Merge pull request #2487 from behrmann/cisection X-Git-Tag: v22~3 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bd645c7b867a35a2b2d083657c411b3c19fa0383;p=thirdparty%2Fmkosi.git Merge pull request #2487 from behrmann/cisection ci: print group section lines for GitHub workflow --- bd645c7b867a35a2b2d083657c411b3c19fa0383