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

@zhengbangbo
Copy link
Owner

zhengbangbo commented Dec 14, 2022 •
edited
Loading

Thank you for your pr.

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

@zhengbangbo zhengbangbo merged commit 599a69a into zhengbangbo: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.
Reviewers

@zhengbangbo zhengbangbo zhengbangbo approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@devinryu @zhengbangbo