Skip to content

Bugfix/noid/polish navigation#7870

Merged
danxuliu merged 3 commits into
masterfrom
bugfix/noid/polish-navigation
Sep 9, 2022
Merged

Bugfix/noid/polish navigation#7870
danxuliu merged 3 commits into
masterfrom
bugfix/noid/polish-navigation

Conversation

@marcoambrosini
Copy link
Copy Markdown
Member

No description provided.

Signed-off-by: Marco Ambrosini <marcoambrosini@icloud.com>
Signed-off-by: Marco Ambrosini <marcoambrosini@icloud.com>
Signed-off-by: Marco Ambrosini <marcoambrosini@icloud.com>
@marcoambrosini marcoambrosini force-pushed the bugfix/noid/polish-navigation branch from 1dc73e9 to 458c2e0 Compare September 8, 2022 08:42
@marcoambrosini marcoambrosini mentioned this pull request Sep 8, 2022
25 tasks
@danxuliu danxuliu added this to the 💚 Next Beta (25) milestone Sep 9, 2022
@danxuliu danxuliu marked this pull request as ready for review September 9, 2022 12:48
Copy link
Copy Markdown
Member

@danxuliu danxuliu left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🐘

@danxuliu danxuliu merged commit cd42385 into master Sep 9, 2022
@danxuliu danxuliu deleted the bugfix/noid/polish-navigation branch September 9, 2022 12:49
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.

2 participants