Repository navigation

Remove unused xml lib, update catch2 - #21

Merged

johguenther merged 2 commits into

develfrom

Sep 9, 2026

Merged

Remove unused xml lib, update catch2#21
johguenther merged 2 commits into
develfrom
guj/devel

Commits on Sep 9, 2026
- Remove unused xml lib
  johguenther
  committed
  5d321aa
- Update Catch2 to v3.16, no longer in-source
  johguenther
  committed
  d191ca4