Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Automated changes by create-pull-request GitHub action

@github-actions github-actions bot force-pushed the create-pull-request/patch branch 18 times, most recently from e5167c7 to 95cda62 Compare November 10, 2023 04:46
@github-actions github-actions bot force-pushed the create-pull-request/patch branch 6 times, most recently from 1c3d4d7 to a57527e Compare November 15, 2023 17:24
@github-actions github-actions bot changed the title Changes by create-pull-request action Auto vimdoc update Nov 15, 2023
@github-actions github-actions bot force-pushed the create-pull-request/patch branch from a57527e to 1da9021 Compare November 15, 2023 18:27
@s1n7ax s1n7ax merged commit b16118a into main Nov 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant