25/10/2021 18:17, Thomas Monjalon: > Options used to be sorted alphabetically. > It looks easier to read when major options are first, > then path tuning, libs options, and drivers options.
Even better, we could insert a blank line between each option.
