Skip to content

Conversation

@IshaanDesai
Copy link
Member

No description provided.

@IshaanDesai IshaanDesai requested a review from uekerman September 8, 2025 12:36
@IshaanDesai
Copy link
Member Author

Merging this to have the correct information on the website as the link is now shown on ILIAS.

@IshaanDesai IshaanDesai merged commit d9a684a into main Sep 8, 2025
4 checks passed
@IshaanDesai IshaanDesai deleted the updates-for-WS25 branch September 8, 2025 19:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants