Skip to content
This repository was archived by the owner on Apr 5, 2024. It is now read-only.

deps(grammars): update grammars#377

Merged
Alxandr merged 1 commit intomainfrom
bot/update-grammars
Jul 7, 2023
Merged

deps(grammars): update grammars#377
Alxandr merged 1 commit intomainfrom
bot/update-grammars

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jul 7, 2023

Grammar files automatically updated.

@github-actions github-actions bot added automerge dependencies Pull requests that update a dependency file labels Jul 7, 2023
@Alxandr Alxandr merged commit 83c9467 into main Jul 7, 2023
@Alxandr Alxandr deleted the bot/update-grammars branch July 7, 2023 07:03
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

automerge dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant