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.
egor.pugin at gmail dot com via Gcc-bugs Fri, 17 Jan 2025 18:21:15 -0800
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.