Skip to content

Add missing .#1088

Merged
benjie merged 1 commit intographql:mainfrom
benjie:add-missing-dot
Mar 27, 2024
Merged

Add missing .#1088
benjie merged 1 commit intographql:mainfrom
benjie:add-missing-dot

Conversation

@benjie
Copy link
Copy Markdown
Member

@benjie benjie commented Mar 27, 2024

As spotted by the eagle-eyed @BoD in #1069; since the Type : Name grammar construct is not explicitly an algorithm, the missing . was not detected by the script.

@benjie benjie added the ✏️ Editorial PR is non-normative or does not influence implementation label Mar 27, 2024
@netlify
Copy link
Copy Markdown

netlify Bot commented Mar 27, 2024

Deploy Preview for graphql-spec-draft ready!

Name Link
🔨 Latest commit 5606978
🔍 Latest deploy log https://app.netlify.com/sites/graphql-spec-draft/deploys/6604052924637200083e9472
😎 Deploy Preview https://deploy-preview-1088--graphql-spec-draft.netlify.app
📱 Preview on mobile
Toggle QR Code...

QR Code

Use your smartphone camera to open QR code link.

To edit notification comments on pull requests, go to your Netlify site configuration.

@benjie
Copy link
Copy Markdown
Member Author

benjie commented Mar 27, 2024

I'm going to go ahead and merge this... it should have been part of #1069 but wasn't quite spotted in time.

@benjie benjie merged commit 4ab71e3 into graphql:main Mar 27, 2024
@benjie benjie deleted the add-missing-dot branch March 27, 2024 11:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

✏️ Editorial PR is non-normative or does not influence implementation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant