Skip to content

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Sep 13, 2024

@vmcj vmcj requested a review from meisterT September 13, 2024 09:24
@meisterT meisterT added this pull request to the merge queue Sep 13, 2024
Merged via the queue into DOMjudge:main with commit 72b3b49 Sep 13, 2024
24 checks passed
@vmcj vmcj deleted the fix_docs_add-data branch September 13, 2024 11:03
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