Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Wfluxor findings #120

Merged
merged 7 commits into from
Apr 7, 2024
Merged

Wfluxor findings #120

merged 7 commits into from
Apr 7, 2024

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Apr 7, 2024

Mostly things which were fixed for Luxor + one opinionated fix.

nickygerritsen and others added 7 commits April 7, 2024 21:46
It is not present on admin machines.

(cherry picked from commit fdf3c42)
(cherry picked from commit 110ecc5)
Because we have more interfaces we need to specify which network
interface we want to use.

(cherry picked from commit 63fac40)
(cherry picked from commit 258b3f2)
Both Mart, Nicky & Michael have multiple contests where those books are
used.
@vmcj vmcj merged commit 5319658 into DOMjudge:main Apr 7, 2024
3 checks passed
@vmcj vmcj deleted the wfluxor_findings branch April 7, 2024 19:56
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