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

add archival note #63

Merged
merged 1 commit into from
Jun 24, 2024
Merged

add archival note #63

merged 1 commit into from
Jun 24, 2024

Conversation

zeitlinger
Copy link
Member

No description provided.

@zeitlinger zeitlinger self-assigned this Jun 24, 2024
@zeitlinger zeitlinger merged commit 8b97f16 into main Jun 24, 2024
3 checks passed
@zeitlinger zeitlinger deleted the archival branch June 24, 2024 14:30
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