Skip to content

Make use of stop_input_type()#446

Merged
hfrick merged 1 commit into
mainfrom
more-stop_input_type
Apr 9, 2026
Merged

Make use of stop_input_type()#446
hfrick merged 1 commit into
mainfrom
more-stop_input_type

Conversation

@hfrick
Copy link
Copy Markdown
Member

@hfrick hfrick commented Apr 9, 2026

closes #423

@hfrick hfrick merged commit 39bcd64 into main Apr 9, 2026
15 checks passed
@hfrick hfrick deleted the more-stop_input_type branch April 9, 2026 15:53
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.

Make more use of stop_input_type()

1 participant