On Mon, Nov 4, 2024, at 23:10, Justin Tobler wrote: > On 24/10/21 11:28AM, Patrick Steinhardt wrote: >> The server options populated via `OPT_STRING_LIST()` is never cleared, > > s/is/are/ I guess “is” was chosen because “the list is”. The [list] populated via `OPT_STRING_LIST()` is never cleared, -- Kristoffer Haugsbakk