You've already forked gnatcoll-db
mirror of
https://github.com/AdaCore/gnatcoll-db.git
synced 2026-02-12 12:59:31 -08:00
... to avoid use of secondary stack for string conversion. Change-Id: Id7a6a8b124217bcbd87713e7547ce54d009c6a09