Skip to content

Various minor tweaks for mid-2026 - #91

Merged
codeconscious merged 30 commits into
mainfrom
various-minor-tweaks
Aug 25, 2026
Merged

Various minor tweaks for mid-2026#91
codeconscious merged 30 commits into
mainfrom
various-minor-tweaks

Conversation

@codeconscious

Copy link
Copy Markdown
Owner
  • Remove superfluous type names
  • Nomenclature
  • Other small improvements and tweaks

@codeconscious codeconscious self-assigned this Aug 16, 2026
@codeconscious
codeconscious marked this pull request as ready for review August 25, 2026 08:36
@codeconscious
codeconscious merged commit f35dbde into main Aug 25, 2026
1 check passed
@codeconscious
codeconscious deleted the various-minor-tweaks branch August 25, 2026 11:50
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