Added a weekly counter similar to all other weeklies to weekly 10. (#165)

This commit is contained in:
2023-10-01 15:08:45 +02:00
committed by GitHub
parent ebf30da778
commit b46a52e019
5 changed files with 18 additions and 28 deletions

View File

@ -5,7 +5,7 @@
- Prof. Arinir
- Tristan Nolde
- Tim Ronneburg
- Phillip Horstenkamp
- Philipp Horstenkamp
- Kim Mesewinkel-Risse
- Sascha Zhu
- Sebastian Zeleny