Skip to content

Conversation

@facelessuser
Copy link
Owner

@facelessuser facelessuser commented Nov 26, 2025

Fixes #212

@gir-bot gir-bot added S: needs-review Needs to be reviewed and/or approved. C: docs Related to documentation. C: source Related to source code. labels Nov 26, 2025
@facelessuser
Copy link
Owner Author

@gir-bot lgtm

@gir-bot gir-bot added S: approved The pull request is ready to be merged. and removed S: needs-review Needs to be reviewed and/or approved. labels Nov 26, 2025
@facelessuser facelessuser merged commit 1993186 into master Nov 26, 2025
12 checks passed
@facelessuser facelessuser deleted the bug/size branch November 26, 2025 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

C: docs Related to documentation. C: source Related to source code. S: approved The pull request is ready to be merged.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Usage of aspell “size” option

3 participants