Skip to content

Fixing compilation after localizing ProblemDescriptor#30

Merged
VISTALL merged 1 commit intoconsulo:masterfrom
unv-unv:compilation-fix
Dec 2, 2025
Merged

Fixing compilation after localizing ProblemDescriptor#30
VISTALL merged 1 commit intoconsulo:masterfrom
unv-unv:compilation-fix

Commits

Commits on Dec 2, 2025