mirror of
https://github.com/AdaCore/xmlada.git
synced 2026-02-12 12:30:28 -08:00
Merge rev 152066 from trunk git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/branches/xmlada/xmlada-3.2@152637 936e1b1b-40f2-da11-902a-00137254ae57