Skip to content

Add support for option array.#83

Merged
toots merged 1 commit intomainfrom
array-options
Feb 10, 2026
Merged

Add support for option array.#83
toots merged 1 commit intomainfrom
array-options

Conversation

@toots
Copy link
Member

@toots toots commented Dec 29, 2025

No description provided.

@toots toots changed the title Add filter info example. Add support for option array. Dec 29, 2025
@toots toots force-pushed the array-options branch 2 times, most recently from 4b1ec62 to bb1b3cc Compare January 11, 2026 18:24
@toots toots enabled auto-merge February 10, 2026 00:25
@toots toots added this pull request to the merge queue Feb 10, 2026
Merged via the queue into main with commit d403d31 Feb 10, 2026
5 checks passed
@toots toots deleted the array-options branch February 10, 2026 00:34
toots added a commit that referenced this pull request Feb 20, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant