Skip to content

Bugfix #68 - #70

Merged
mwiesenberger merged 4 commits into
feltor-dev:masterfrom
mwiesenberger:bugfix-68
Oct 15, 2026
Merged

mwiesenberger merged 4 commits into
feltor-dev:masterfrom
mwiesenberger:bugfix-68

Conversation

@mwiesenberger

Copy link
Copy Markdown
Member

Fix a couple of silly bugs in the latest release that prevent compilation of the entire suite

@mwiesenberger
mwiesenberger merged commit 2aec34b into feltor-dev:master Oct 15, 2026
6 checks passed
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