Skip to content

Conversation

@Widcket
Copy link
Contributor

@Widcket Widcket commented Jun 7, 2021

Changed

@Widcket Widcket requested a review from a team as a code owner June 7, 2021 16:13
@Widcket Widcket added the review:tiny Tiny review label Jun 7, 2021
@Widcket Widcket merged commit 2ea8e1b into master Jun 7, 2021
@Widcket Widcket deleted the release-0.12.3 branch June 7, 2021 19:34
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

review:tiny Tiny review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants