https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118539

--- Comment #2 from Egor Pugin <egor.pugin at gmail dot com> ---
Does it make sense to sort them before printing?
Seems people can just append new options without much grouping.

Reply via email to