Skip to content

options: remove pkgs as a requirement to build options.json#445

Merged
SuperSandro2000 merged 1 commit intomainfrom
drop-pkgs-for-options.json
Dec 11, 2025
Merged

options: remove pkgs as a requirement to build options.json#445
SuperSandro2000 merged 1 commit intomainfrom
drop-pkgs-for-options.json

Commits

Commits on Dec 10, 2025