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.

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

Minor documentation fixes #357

Merged
merged 1 commit into from
Oct 10, 2023
Merged

Minor documentation fixes #357

merged 1 commit into from
Oct 10, 2023

Conversation

scoopex
Copy link
Contributor

@scoopex scoopex commented Oct 6, 2023

No description provided.

@fkr
Copy link
Member

fkr commented Oct 6, 2023

DCO is missing, please amend the commit with DCO.

@scoopex scoopex force-pushed the marc-is-reading-the-docs branch from c1c742a to 06aa651 Compare October 9, 2023 06:40
@scoopex scoopex changed the title WIP: Minor documentation fixes Minor documentation fixes Oct 9, 2023
@scoopex scoopex force-pushed the marc-is-reading-the-docs branch from 06aa651 to 4b3185d Compare October 10, 2023 14:58
@scoopex
Copy link
Contributor Author

scoopex commented Oct 10, 2023

DCO is missing, please amend the commit with DCO.

Done

@fkr fkr force-pushed the marc-is-reading-the-docs branch from 4b3185d to 1f03e9d Compare October 10, 2023 20:24
Signed-off-by: Marc Schöchlin <schoechlin@osb-alliance.com>
@fkr fkr force-pushed the marc-is-reading-the-docs branch from 1f03e9d to 1378559 Compare October 10, 2023 20:24
@fkr fkr merged commit c2a0607 into main Oct 10, 2023
3 checks passed
@fkr fkr deleted the marc-is-reading-the-docs branch October 10, 2023 20:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants