Skip to content

Removed pugixml workaround in CI - #285

Merged
jwinarske merged 1 commit into
v2.0from
fix/ci-remove-workaround
Jul 8, 2026
Merged

Removed pugixml workaround in CI#285
jwinarske merged 1 commit into
v2.0from
fix/ci-remove-workaround

Commits

Commits on Jul 8, 2026