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.
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
Splitting off UsersGuides/ReleaseNotes #4355
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
The disadvantage of such a file modularization is that we lose track of the git history. But given that we rather add new classes to the ReleaseNotes.mo it might be accpetable.
@casella @HansOlsson @beutlich so does the present structure looks good and can we proceed with an approval ? Thankyou |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This was automatically generated by Dymola, so I trust the content should be ok
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Fine, as discussed in MAP-LIB meeting.
@HansOlsson @GallLeo @casella , we have to backport this to maint/4.1.x right , just a doubt as the milestone is changed . ? Thanks |
I doubt it is necessary.
|
@beutlich @casella @HansOlsson @GallLeo just clarifying my doubt and understanding the scenario , this change is not yet cherrypicked to the maint/4.1.x and we already have a branch which is contains the release note edits and is having the old structure . so we have to cherypick this change to that branch also . (or merge the maint/4.1.x to the releasenotes branch after backporting , which ever is better ) , and something of the above two has to be done right ? |
To make it easier to track changes.
As discussed at the MAP-Lib meeting.
Also to be cherry picked to maint/4.1.0