Skip to content
This repository has been archived by the owner on Nov 29, 2023. It is now read-only.

Explain archival state #178

Merged
merged 1 commit into from
Nov 29, 2023
Merged

Explain archival state #178

merged 1 commit into from
Nov 29, 2023

Conversation

lognaturel
Copy link
Contributor

No description provided.

@lognaturel
Copy link
Contributor Author

@yanokwa it looks like this won't build without modifications. I think it's ok to merge even with a broken build, what do you think?

@lognaturel lognaturel merged commit 06283d1 into master Nov 29, 2023
0 of 4 checks passed
@lognaturel lognaturel deleted the archive branch November 29, 2023 04:46
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.

2 participants