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.

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

Update Coverage (Michaela Ziegler, ahdis ag) #177

Closed
ziegm opened this issue Apr 17, 2024 · 3 comments · Fixed by #189
Closed

Update Coverage (Michaela Ziegler, ahdis ag) #177

ziegm opened this issue Apr 17, 2024 · 3 comments · Fixed by #189
Assignees
Labels
ch core / ch term final review by eHS check by eHS and if OK, close issue STU 3 Ballot 2024
Milestone

Comments

@ziegm
Copy link
Collaborator

ziegm commented Apr 17, 2024

@ziegm
Copy link
Collaborator Author

ziegm commented Oct 15, 2024

@oliveregger please review the changes:

  • Coverage.type: Change to the revised VS/CS of CH Core/CH Term (remove the CH ORF CS/VS for it)
  • Update the Coverage examples accordingly
  • Update the Map accordingly
  • Update changelog

@ziegm ziegm added the final review by eHS check by eHS and if OK, close issue label Oct 16, 2024
@ziegm ziegm assigned pjolo and unassigned oliveregger and ziegm Oct 16, 2024
@ziegm
Copy link
Collaborator Author

ziegm commented Oct 16, 2024

@pjolo please also review the changes for the final ok ;-)

ziegm added a commit that referenced this issue Oct 16, 2024
@ziegm ziegm reopened this Oct 16, 2024
@pjolo
Copy link
Collaborator

pjolo commented Oct 17, 2024

@ziegm From my side, the changes are good

@ziegm ziegm closed this as completed Oct 17, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
ch core / ch term final review by eHS check by eHS and if OK, close issue STU 3 Ballot 2024
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants