Skip to content

Conversation

@meisterT
Copy link
Member

@meisterT meisterT commented Dec 7, 2025

Tested with debian chroot oldstable, stable and testing.

Tested with debian chroot oldstable, stable and testing.
@meisterT meisterT requested a review from eldering December 7, 2025 17:04
@meisterT meisterT added this pull request to the merge queue Dec 7, 2025
Merged via the queue into DOMjudge:main with commit 8a216b7 Dec 7, 2025
36 of 40 checks passed
@meisterT meisterT deleted the fix_compile_errors branch December 7, 2025 19:52
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