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

Add Discord logo #783

Merged

jwbot merged 1 commit into main from add-discord-logo

Nov 2, 2023

Member

JonasWanke commented Nov 1, 2023

Checklist

Tests for the changes have been added (for bug fixes / features)
Docs have been added / updated (for bug fixes / features)


          Add Discord logo

77f2037

JonasWanke added the T: Docs label

JonasWanke requested a review from MarcelGarus

November 1, 2023 08:50

JonasWanke self-assigned this

jwbot enabled auto-merge

November 1, 2023 08:50

MarcelGarus approved these changes

View reviewed changes

jwbot merged commit 5ce791b into main

11 checks passed

jwbot deleted the add-discord-logo branch

November 2, 2023 13:22

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

Labels

T: Docs