Skip to content

Minor improvements to BootConfig#349

Merged
phil-opp merged 2 commits intomainfrom
boot-config-improvements
Mar 12, 2023
Merged

Minor improvements to `BootConfig`#349
phil-opp merged 2 commits intomainfrom
boot-config-improvements

Commits

Commits on Mar 12, 2023