Merge branch 'main' into v0.7

This commit is contained in:
raf 2024-10-07 00:40:13 +00:00 committed by GitHub
commit ef413736e9
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -97,7 +97,7 @@ in {
default = {}; default = {};
type = submodule { type = submodule {
freeformType = attrsOf anything; freeformType = anything;
options = opts; options = opts;
}; };
}; };