Skip to content

Conversation

mzuenni
Copy link
Collaborator

@mzuenni mzuenni commented May 10, 2025

@mzuenni mzuenni changed the base branch from master to draft May 10, 2025 14:38
@mpsijm
Copy link
Collaborator

mpsijm commented Aug 5, 2025

Documenting here what we discussed in Slack: we should wait with merging until DOMjudge supports this 😛

It appears to work on my machine though 😄

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