Skip to content
New issue

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

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

Already on GitHub? Sign in to your account

Fix issue sorting #576

Merged
merged 1 commit into from
Feb 18, 2025
Merged

Fix issue sorting #576

merged 1 commit into from
Feb 18, 2025

Conversation

Sija
Copy link
Member

@Sija Sija commented Feb 18, 2025

Fixup of #528

@Sija Sija added the bug label Feb 18, 2025
@Sija Sija added this to the 1.7.0 milestone Feb 18, 2025
@Sija Sija requested a review from veelenga February 18, 2025 17:51
@Sija Sija self-assigned this Feb 18, 2025
@Sija Sija force-pushed the fix-issue-sorting branch from fc02822 to 92332eb Compare February 18, 2025 18:10
@Sija Sija force-pushed the fix-issue-sorting branch from 92332eb to 452fca9 Compare February 18, 2025 18:50
@Sija Sija changed the title Sort issues by stringified location to avoid sorting errors Fix issue sorting Feb 18, 2025
@Sija Sija merged commit 067b90c into master Feb 18, 2025
4 checks passed
@Sija Sija deleted the fix-issue-sorting branch February 18, 2025 20:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants