Skip to content

List changes #3780

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
HansOlsson merged 11 commits into from
Dec 4, 2025
Merged

List changes #3780

HansOlsson merged 11 commits into from
Dec 4, 2025

Conversation

@HansOlsson
Copy link
Collaborator

@HansOlsson HansOlsson commented Nov 7, 2025

Starting the process of listing semantic changes.

@HansOlsson HansOlsson requested a review from henrikt-ma November 7, 2025 15:21
@HansOlsson HansOlsson mentioned this pull request Nov 7, 2025
Merged
@henrikt-ma
Copy link
Collaborator

henrikt-ma commented Nov 11, 2025

How about naming the directory so that one can actually see that separation of major and minor version? Like 3_7 instead of 37?

@HansOlsson
Copy link
Collaborator Author

HansOlsson commented Nov 11, 2025

How about naming the directory so that one can actually see that separation of major and minor version? Like 3_7 instead of 37?

Good idea.

henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Nov 11, 2025
View reviewed changes
HansOlsson and others added 2 commits November 19, 2025 16:51
HansOlsson
HansOlsson commented Nov 28, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Dec 1, 2025
View reviewed changes
henrikt-ma
henrikt-ma reviewed Dec 1, 2025
View reviewed changes
@henrikt-ma
Copy link
Collaborator

henrikt-ma commented Dec 1, 2025

The inclusion of 3610.md here leads to a chicken-and-egg problem together with #3610; both PRs have a dependency on the other. No big deal though, as we can count on this being merged more or less together with #3610.

henrikt-ma
henrikt-ma reviewed Dec 1, 2025
View reviewed changes
@HansOlsson HansOlsson added this to the 2025-December milestone Dec 3, 2025
henrikt-ma
henrikt-ma approved these changes Dec 4, 2025
View reviewed changes
Copy link
Collaborator

@henrikt-ma henrikt-ma left a comment

Choose a reason for hiding this comment

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

Since #3610 has been merged now, we better also get this PR merged.

@HansOlsson HansOlsson merged commit 6363acd into modelica:master Dec 4, 2025
1 check passed
@HansOlsson HansOlsson deleted the ListChanges branch December 4, 2025 11:48
@HansOlsson HansOlsson added M37 For pull requests merged into Modelica 3.7 clarification Specification of feature is unclear, but not incorrect labels Dec 4, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@henrikt-ma henrikt-ma henrikt-ma approved these changes

Assignees

No one assigned

Labels

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

Projects

None yet

Milestone

2025-December

Development

Successfully merging this pull request may close these issues.

2 participants

@HansOlsson @henrikt-ma