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

Editorially: generally refer to end user #215

Merged

annevk merged 1 commit into main from annevk/end-user

Jul 17, 2024

Member

annevk commented Jul 17, 2024 •

edited by pr-preview bot

Loading

And reorder a couple of things so they are consistent across concepts and IDL.


          Editorially: generally refer to end user

c2f3fd2

And reorder a couple of things so they are consistent across concepts and IDL.

annevk merged commit 221c867 into main

2 checks passed

annevk deleted the annevk/end-user branch

July 17, 2024 15:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet