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

Fix badges. #1710

Closed

troessner wants to merge 1 commit into master from fix_badges

Owner

troessner commented Apr 7, 2023

No description provided.


          Fix badges.

900d39f

troessner force-pushed the fix_badges branch from a4bb743 to 900d39f Compare

April 7, 2023 21:02

Collaborator

mvz commented May 7, 2023

This pull request is obsolete since the badges have been updated in #1711.

mvz closed this

mvz deleted the fix_badges branch

May 7, 2023 05:43

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