Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom

Update the man page to note that the sort functions are stable #1527

Closed
wants to merge 1 commit into from
Closed

Update the man page to note that the sort functions are stable #1527

wants to merge 1 commit into from

Conversation

hawicz
Copy link

@hawicz hawicz commented Nov 3, 2017

See also Issue #343

@hawicz
Note that the sort functions are stable (implemented in 7835a72) and …
4225349 
…provide examples of how to sort by multiple criteria.
@liquidaty liquidaty mentioned this pull request Mar 7, 2023
Closed
@itchyny itchyny added the docs label Jun 2, 2023
@itchyny
Copy link
Contributor

itchyny commented Jun 7, 2023

Since this PR is created before the manual file reorganization (208c668) on Feb 23, 2019, and we have a newer PR #2474, closing the PR. Thank you.

@itchyny itchyny closed this Jun 7, 2023
@pkoppstein pkoppstein mentioned this pull request Jun 19, 2023
Closed
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
docs
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@hawicz @itchyny