Skip to content

Conversation

pull[bot]
Copy link

@pull pull bot commented Sep 25, 2022

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot added the ⤵️ pull label Sep 25, 2022
@PowerKiKi PowerKiKi deleted the branch Mu-L:develop November 16, 2022 21:16
@PowerKiKi PowerKiKi deleted the develop branch November 16, 2022 21:16
@github-actions
Copy link

This PR has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs.
If this is still an issue for you, please try to complete the PR by adding tests and making sure that the CI is green.
Thank you for your contributions.

@github-actions github-actions bot added the Stale label Feb 19, 2023
@Progi1984 Progi1984 deleted the branch Mu-L:develop August 26, 2024 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants