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

Updated user to member in User Guide #9096

Closed
wants to merge 1 commit into from

Conversation

fabienSvtr
Copy link

Describe your changes

In reference to #9095

Checklist

Before you submit this pull request, please make sure to:

  • Keep changes in the pull request as small as possible
  • Ensure the commit history is sanitized
  • Give a meaningful title to your PR
  • Describe your changes
  • Link any related issue in the description
  • Link any dependent pull request in the description

@fabienSvtr fabienSvtr mentioned this pull request Dec 3, 2024
@fabienSvtr fabienSvtr self-assigned this Dec 5, 2024
@fabienSvtr
Copy link
Author

Done by #9416

@fabienSvtr fabienSvtr closed this Jan 24, 2025
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.

1 participant