Commit a795ecd9 authored by Eric Bruneton's avatar Eric Bruneton

Merge branch 'delete-xml-package' into 'master'

Delete the xml package. Since we don't update it anymore (for instance, we…

See merge request !211
parents 32c9d4a0 b079e534
Pipeline #2820 passed with stage
in 6 minutes and 33 seconds