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

Prepare for deprecation in favour of post-rs #104

Merged
merged 1 commit into from
Apr 8, 2024
Merged

Conversation

pigmej
Copy link
Member

@pigmej pigmej commented Apr 8, 2024

No description provided.

Copy link
Member

@fasmat fasmat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Should we also archive the repository after merging this PR?

@pigmej pigmej merged commit 9ca5845 into develop Apr 8, 2024
6 checks passed
@pigmej
Copy link
Member Author

pigmej commented Apr 8, 2024

yes ;)

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.

3 participants