Skip to content
This repository has been archived by the owner on Jul 22, 2024. It is now read-only.

Fix pointer sorting issue #3566

Merged
merged 1 commit into from
Jun 26, 2020
Merged

Fix pointer sorting issue #3566

merged 1 commit into from
Jun 26, 2020

Conversation

MortimerGoro
Copy link
Contributor

Fixes #3548

@MortimerGoro MortimerGoro requested a review from bluemarvin June 26, 2020 14:38
@MortimerGoro MortimerGoro self-assigned this Jun 26, 2020
@bluemarvin bluemarvin merged commit 96877ff into master Jun 26, 2020
@bluemarvin bluemarvin deleted the v11/pointer_priority branch June 26, 2020 21:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Pointer should not always be sorted on top.
2 participants