Skip to content

Conversation

@Managor
Copy link
Member

@Managor Managor commented Dec 11, 2025

Thanks to @ivanbaluta, I learned something new here #19916 (comment)

@github-actions github-actions bot added page edit Changes to an existing page(s). review needed Prioritized PRs marked for reviews from maintainers. labels Dec 11, 2025
Copy link
Collaborator

@SpikeTheDragon40k SpikeTheDragon40k left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I too didn't know!

Copy link
Collaborator

@ivanbaluta ivanbaluta left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Happy to help!

@Managor Managor merged commit 18ee177 into main Dec 11, 2025
10 checks passed
@Managor Managor deleted the less-than branch December 11, 2025 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

page edit Changes to an existing page(s). review needed Prioritized PRs marked for reviews from maintainers.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants