Skip to content

Minor issues#3910

Merged
HansOlsson merged 5 commits into
modelica:masterfrom
HansOlsson:MinorIssues
May 22, 2026
Merged

Minor issues#3910
HansOlsson merged 5 commits into
modelica:masterfrom
HansOlsson:MinorIssues

Conversation

@HansOlsson
Copy link
Copy Markdown
Collaborator

Closes #3908
Will add some more

Copy link
Copy Markdown
Collaborator

@gkurzbach gkurzbach left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@HansOlsson HansOlsson marked this pull request as ready for review May 22, 2026 14:02
@HansOlsson HansOlsson merged commit 914e900 into modelica:master May 22, 2026
1 check passed
@HansOlsson HansOlsson deleted the MinorIssues branch May 22, 2026 14:03
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.

Some minor issues in the Spec found by AI

2 participants