Skip to content

Conversation

Teque5
Copy link
Collaborator

@Teque5 Teque5 commented Jan 10, 2025

Implemented a good idea from @jhazentia.

@Teque5 Teque5 requested a review from 777arc January 10, 2025 18:56
@Teque5 Teque5 self-assigned this Jan 10, 2025
@Teque5 Teque5 added the enhancement New feature or request label Jan 10, 2025
@Teque5 Teque5 requested a review from gmabey January 10, 2025 19:05
@Teque5 Teque5 merged commit edccc81 into main Jan 10, 2025
6 checks passed
@Teque5 Teque5 deleted the feature/equality branch January 10, 2025 21:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants