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.

Sign up for GitHub

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

Jump to bottom

ui: alias none #71

Merged

reez merged 1 commit into main from misc

Jan 31, 2024

Owner

reez commented Jan 31, 2024 •

edited

Loading

Description

Notes to the reviewers

Changelog notice

Checklists

All Submissions:

I've signed all my commits
I have formatted my code with swift-format per .swift-format file

New Features:

I've added tests for the new feature
I've added docs for the new feature

Bugfixes:

This pull request breaks the existing API
I've added tests to reproduce the issue which are now passing
I'm linking the issue being fixed by this PR


          ui: alias none

4b7d9f7

reez merged commit 39c6b3f into main

1 check passed

reez deleted the misc branch

January 31, 2024 16:53

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet