Linus Heckemann 97c0e5d8a8
Merge pull request from lheckemann/generate-config-fix
linux: fix generate-config's handling of "no-choice" options
2021-01-12 11:13:58 +01:00
..