Skip to content

A couple of code cleanups - #508

Merged
mathieucarbou merged 1 commit into
mainfrom
cleanups
Nov 11, 2026
Merged

mathieucarbou merged 1 commit into
mainfrom
cleanups

Conversation

@mathieucarbou

@mathieucarbou mathieucarbou commented Nov 10, 2026 •

Copy link
Copy Markdown
Member

A couple of code cleanups that are worth extracting from #504

@mathieucarbou mathieucarbou self-assigned this Nov 10, 2026
@mathieucarbou
mathieucarbou merged commit 58e5b6e into main Nov 11, 2026
38 checks passed
@mathieucarbou
mathieucarbou deleted the cleanups branch November 11, 2026 09:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant