Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Move docs for new serialization module to docs sites #811

Merged
merged 3 commits into from
Nov 10, 2023
Merged

Move docs for new serialization module to docs sites #811

merged 3 commits into from
Nov 10, 2023

Conversation

jamowei
Copy link
Collaborator

@jamowei jamowei commented Nov 10, 2023

No description provided.

@jamowei jamowei added the documentation Improvements or additions to documentation label Nov 10, 2023
@jamowei jamowei added this to the 1.0-RC13 milestone Nov 10, 2023
@jamowei jamowei requested a review from Lysander November 10, 2023 19:22
@jamowei jamowei self-assigned this Nov 10, 2023
@jamowei jamowei merged commit f8b73e8 into master Nov 10, 2023
2 checks passed
@jamowei jamowei deleted the jamowei/docs branch November 10, 2023 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Lysander Lysander Lysander approved these changes

Assignees

@jamowei jamowei

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
1.0-RC13
Development

Successfully merging this pull request may close these issues.
2 participants
@jamowei @Lysander