Skip to content

Conversation

@MrCroxx
Copy link
Member

@MrCroxx MrCroxx commented Jan 8, 2025

What's changed and what's your intention?

Please explain IN DETAIL what the changes are in this PR and why they are needed. :D

As title.

Checklist

  • I have written the necessary rustdoc comments
  • I have added the necessary unit tests and integration tests
  • I have passed make all (or make fast instead if the old tests are not modified) in my local environment.

Related issues or PRs (optional)

fix #828

@MrCroxx MrCroxx added the chore label Jan 8, 2025
@MrCroxx MrCroxx added this to the v0.13 milestone Jan 8, 2025
@MrCroxx MrCroxx self-assigned this Jan 8, 2025
@MrCroxx MrCroxx merged commit fe32266 into main Jan 8, 2025
24 checks passed
@MrCroxx MrCroxx deleted the xx/lic branch January 8, 2025 15:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

chore: remove duplicated license header

2 participants