Skip to content

Remove mention of COSMO in WGs#389

Merged
mjaehn merged 1 commit intomainfrom
remove_cosmo
Feb 4, 2026
Merged

Remove mention of COSMO in WGs#389
mjaehn merged 1 commit intomainfrom
remove_cosmo

Conversation

@mjaehn
Copy link
Contributor

@mjaehn mjaehn commented Feb 3, 2026

No description provided.

@mjaehn mjaehn requested a review from stelliom February 3, 2026 09:21
@github-actions
Copy link
Contributor

github-actions bot commented Feb 3, 2026

PR Preview Action v1.8.1
Preview removed because the pull request was closed.
2026-02-04 10:59 UTC

@mjaehn mjaehn requested a review from AnnikaLau February 4, 2026 08:46
@mjaehn mjaehn merged commit 1fa74a1 into main Feb 4, 2026
4 checks passed
@mjaehn mjaehn deleted the remove_cosmo branch February 4, 2026 10:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants