You've already forked gnatcoll-core
mirror of
https://github.com/AdaCore/gnatcoll-core.git
synced 2026-02-12 12:58:57 -08:00
Previously, a new parser_result was allocated even when the same option had already been parsed. This led to memory leaks. Issue: eng/toolchain/gnatcoll-core#75