Due to maintenance reasons, gitlab.gwdg.de will not be available on Saturday 2021-07-24 from 10:30 to approximately 11:30 CEST.

Commit 8d3a0eb9 authored by Mathias Goebel's avatar Mathias Goebel 🎠
Browse files

Merge tag 'v5.1.0' into develop

update for eXist 5.2.0
parents c39b2f15 7d23ba24