Skip to content
This repository has been archived by the owner on Jan 28, 2024. It is now read-only.

Add archival status #18

Merged
merged 1 commit into from
Jan 28, 2024
Merged

Add archival status #18

merged 1 commit into from
Jan 28, 2024

Conversation

dertseha
Copy link
Member

No description provided.

Signed-off-by: Christian Haas <[email protected]>
@dertseha dertseha merged commit 84d72e7 into main Jan 28, 2024
2 checks passed
@dertseha dertseha deleted the add-archival-status branch January 28, 2024 13:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant