fix(menuconfig): allow choice override menuconfig#1
Merged
leandrolanzieri merged 1 commit intoRIOT-OS:masterfrom Jan 20, 2023
Merged
fix(menuconfig): allow choice override menuconfig#1leandrolanzieri merged 1 commit intoRIOT-OS:masterfrom
leandrolanzieri merged 1 commit intoRIOT-OS:masterfrom
