Skip to content

Settings change checkbox to radio for real#222

Merged
akirk merged 1 commit into
mainfrom
radio
Feb 27, 2025
Merged

Settings change checkbox to radio for real#222
akirk merged 1 commit into
mainfrom
radio

Conversation

@akirk
Copy link
Copy Markdown
Owner

@akirk akirk commented Feb 27, 2025

This got lost from #220.

@akirk akirk merged commit a104005 into main Feb 27, 2025
@akirk akirk deleted the radio branch February 27, 2025 10:17
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