Skip to content
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

copyright update for MCS file changes #684

Merged
merged 1 commit into from
Oct 18, 2023
Merged

copyright update for MCS file changes #684

merged 1 commit into from
Oct 18, 2023

Conversation

lsf37
Copy link
Member

@lsf37 lsf37 commented Oct 18, 2023

Add Proofcraft copyright header to the files with substantial changes where we had forgotten to do so.

@lsf37
spec+proof+lib: update copyright headers
2db67f4 
Add Proofcraft copyright header to the files with substantial changes
where we had forgotten to do so.

Signed-off-by: Gerwin Klein <[email protected]>
@lsf37 lsf37 self-assigned this Oct 18, 2023
@lsf37 lsf37 added the MCS related to `rt` branch and mixed-criticality systems label Oct 18, 2023
michaelmcinerney
michaelmcinerney approved these changes Oct 18, 2023
View reviewed changes
Copy link
Contributor

@michaelmcinerney michaelmcinerney left a comment

Choose a reason for hiding this comment

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

Thanks Gerwin

@lsf37 lsf37 merged commit 7fed183 into rt Oct 18, 2023
11 checks passed
@lsf37 lsf37 deleted the copyright-update branch October 18, 2023 00:56
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michaelmcinerney michaelmcinerney michaelmcinerney approved these changes

@Xaphiosis Xaphiosis Awaiting requested review from Xaphiosis

Assignees

@lsf37 lsf37

Labels
MCS related to `rt` branch and mixed-criticality systems
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@lsf37 @michaelmcinerney