Skip to content

Conversation

@henrikt-ma
Copy link
Collaborator

@henrikt-ma henrikt-ma requested a review from HansOlsson June 19, 2023 21:18
@HansOlsson HansOlsson merged commit a069567 into modelica:master Jun 27, 2023
@henrikt-ma henrikt-ma deleted the MCP/0027+rename-mcp branch June 27, 2023 08:02
@HansOlsson HansOlsson added the M37 For pull requests merged into Modelica 3.7 label Jul 6, 2023
@HansOlsson HansOlsson added the clarification Specification of feature is unclear, but not incorrect label Dec 5, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

clarification Specification of feature is unclear, but not incorrect M37 For pull requests merged into Modelica 3.7

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants