Closed eldering closed 1 month ago
Fixes https://github.com/Kattis/problem-package-format/pull/291#discussion_r1721056192
Fixes https://github.com/Kattis/problem-package-format/pull/291#discussion_r1721056192