Skip to content

Conversation

@liry
Copy link
Contributor

@liry liry commented Jul 28, 2022

No description provided.

@liry liry added this to the next milestone Jul 28, 2022
@ghost
Copy link

ghost commented Jul 28, 2022

Build succeeded (check pipeline).

@ghost ghost removed the merge label Jul 29, 2022
@ghost ghost merged commit a0b1c7b into master Jul 29, 2022
@ghost
Copy link

ghost commented Jul 29, 2022

@liry liry deleted the copyright branch July 29, 2022 07:18
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants