Skip to content
This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Conversation

@jeluard
Copy link
Contributor

@jeluard jeluard commented Jun 23, 2021

Removed extra d

@github-actions github-actions bot added the A0-please_review Pull request needs code review. label Jun 23, 2021
@coriolinus coriolinus added B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit labels Jun 23, 2021
@jeluard
Copy link
Contributor Author

jeluard commented Jun 23, 2021

bot merge

@ghost
Copy link

ghost commented Jun 23, 2021

Error: Github API says #9182 is not mergeable

@bkchr bkchr merged commit e6cd6b1 into master Jun 23, 2021
@bkchr bkchr deleted the jeluard-patch-1 branch June 23, 2021 10:44
athei pushed a commit that referenced this pull request Jun 25, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A0-please_review Pull request needs code review. B0-silent Changes should not be mentioned in any release notes C1-low PR touches the given topic and has a low impact on builders. D3-trivial 🧸 PR contains trivial changes in a runtime directory that do not require an audit

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants