Skip to content

Comments

chore: redo docs links again#2450

Merged
mergify[bot] merged 2 commits intomasterfrom
severin-redo-docs
Aug 16, 2022
Merged

chore: redo docs links again#2450
mergify[bot] merged 2 commits intomasterfrom
severin-redo-docs

Conversation

@viviveevee
Copy link
Contributor

I messed up in #2448, need to redo some links

@viviveevee viviveevee requested a review from a team as a code owner August 16, 2022 17:02
@mergify mergify bot merged commit f02e88d into master Aug 16, 2022
@mergify mergify bot deleted the severin-redo-docs branch August 16, 2022 18:19
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