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 ortography fixes #134
base: main
Are you sure you want to change the base?
Minor ortography fixes #134
Conversation
…and ‘app publisher’ because they are not defined terms.
…se it should be a defined term.
…avour of the latter because that was more prevalent ortography in the documents.
I pushed some additional orthography fixes. Should I create a new pull request or keep the commits in this one? One of the added fixes is in |
Process wise the review already started so new commits will make it more difficult. On top of this the PR has already approved by two reviewers before the new commits. However I checked the commits one by one and my positive vote remains unchanged ;-) |
Okay, thank you for your patience. I am sorry that I deviated from the process. I should have asked first before pushing new commits. |
Minor ortography fixes for the ARF and the annexes. Fixes are split into multiple commits and each commit has an explanatory comment.
One of the changes is in
docs/media/image7.svg
(replaced ‘EUDI Wallet instance’ with ‘EUDI Wallet Instance’). It looks like the related filedocs/media/image7.png
already has the latter ortography and thus no changes for that file is needed.