On Mon, 17 Feb 2025 15:02:35 -0500 David Malcolm <dmalc...@redhat.com> wrote:
> > (Maybe zero_option_id would be a better name?) > > Ah - yes, now I see what you mean. I like that name. > > Can it be "const"? Already is! I renamed it to "option_zero" to prevent future confusion. --jkl
