Skip to content

Conversation

@Veykril
Copy link
Member

@Veykril Veykril commented Sep 26, 2022

No description provided.

@Veykril
Copy link
Member Author

Veykril commented Sep 26, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Sep 26, 2022

📌 Commit 7929e9c has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Sep 27, 2022

⌛ Testing commit 7929e9c with merge f972cdd...

@bors
Copy link
Contributor

bors commented Sep 27, 2022

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing f972cdd to master...

@bors bors merged commit f972cdd into master Sep 27, 2022
@bors bors deleted the sourcegen branch September 27, 2022 01:29
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.

3 participants