]> git.ipfire.org Git - thirdparty/mkosi.git/commitdiff
Merge pull request #2002 from behrmann/jsondict
authorDaan De Meyer <daan.j.demeyer@gmail.com>
Fri, 20 Oct 2023 14:38:20 +0000 (16:38 +0200)
committerGitHub <noreply@github.com>
Fri, 20 Oct 2023 14:38:20 +0000 (16:38 +0200)
Allow to jsonify MkosiArgs and MkosiConfig in composite objects


Trivial merge