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

chore: fix links from userland migration #3010

Merged
merged 1 commit into from
Oct 27, 2022
Merged

chore: fix links from userland migration #3010

merged 1 commit into from
Oct 27, 2022

Conversation

georgexu99
Copy link
Contributor

  • I have read the contribution documentation for this project.
  • I agree to follow the code of conduct that this project follows, as appropriate.
  • The changes are appropriately documented (if applicable).
  • The changes have sufficient test coverage (if applicable).
  • The testsuite passes successfully on my local machine (if applicable).

Summarize your changes:

@georgexu99 georgexu99 requested a review from erickzhao October 27, 2022 20:51
@georgexu99 georgexu99 merged commit bfb7280 into main Oct 27, 2022
@georgexu99 georgexu99 deleted the gxu-fix-links branch October 27, 2022 20:56
Copy link

@sara554-beep sara554-beep left a comment

Choose a reason for hiding this comment

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

Revisar si esta todo bien

@sara554-beep
Copy link

Revisar si esta todo bien
Pido ayuda para Revisar

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.

3 participants