This repository was archived by the owner on Jul 8, 2025. It is now read-only.

[pull] develop from eXist-db:develop#380

Merged

pull[bot] merged 2 commits into

EIDO-Systems:developfrom

eXist-db:develop

May 28, 2025

Commits on May 28, 2025