-
Notifications
You must be signed in to change notification settings - Fork 767
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
[intro.defs] access should contain a reference to the definition of a scalar type #7743
[intro.defs] access should contain a reference to the definition of a scalar type #7743
Conversation
There's no need to keep making new pull requests for the same thing! Just push or force-push into the existing PR branch. |
I tried, but at the moment of doing the PR it didn't let me open it (there was only the option of viewing the last PR) |
You can post a message to that regard and we can reopen the pull request, I think. |
Regarding the commit message: just say what you're changing; you don't need to explain the entire motivation when it's obvious, but certainly the motivation shouldn't be the first line. The first line shoud say what's changing. |
Okay, it's my first time submitting a PR btw, sorry, mistakes were committed, but i'll do better from now on |
No worries, there's a first time for everything! |
So uh, what's the error about? Apparently there're a bunch of undefined references or something... Looks similar to the error i got from mactex 2025 |
Those missing references are surprising to me. Have you successfully built a copy of the standard from |
The reference is misspelled. Delete the trailing |
Done, sorry, i thought there was a direct reference to the different sub-sections/paragraphs of these sections. |
Co-authored-by: A. Jiang <[email protected]>
@LucyEngine , if you wish for your real name to appear in the git commit history, you need to adjust your github profile settings accordingly. |
Ah, don't worry, the github username is fine |
Fixes #7741