Skip to content
This repository has been archived by the owner on Apr 13, 2023. It is now read-only.

Display at the top #13

Merged
merged 2 commits into from
Dec 14, 2022
Merged

Display at the top #13

merged 2 commits into from
Dec 14, 2022

Conversation

devinryu
Copy link
Contributor

Issues #12

@bobz25
Copy link
Owner

bobz25 commented Dec 14, 2022

Thank you for your pr.

This feature introduces complexity and possible compatibility issues, which may not be merge too soon.

@bobz25 bobz25 merged commit 599a69a into bobz25:main Dec 14, 2022
@devinryu
Copy link
Contributor Author

Thanks for the revision.

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.

2 participants