Skip to content

[Coloring] Fix docstrings#2622

Merged
odow merged 1 commit intomasterfrom
bl/coloring_collect
Feb 11, 2025
Merged

[Coloring] Fix docstrings#2622
odow merged 1 commit intomasterfrom
bl/coloring_collect

Conversation

@blegat
Copy link
Member

@blegat blegat commented Feb 11, 2025

Fix typos in docstrings added in #2560
I also say the collect method was defined but never used while we could use it at the sort! input

@odow odow mentioned this pull request Feb 11, 2025
4 tasks
@odow odow merged commit b03cce6 into master Feb 11, 2025
16 checks passed
@odow odow deleted the bl/coloring_collect branch February 11, 2025 21:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Comments